lcf.cm

Library
  signature LCF
  signature TACTICALS
  signature LCF_APART
  signature PROGRESS_TACTICALS
  signature TRANSFORMATIONAL_TACTICALS

  signature ANNOTATED_LCF
  functor AnnotatedLcf

  functor Tacticals
  functor ProgressTacticals
  functor TransformationalTacticals
is
  $/basis.cm
  src/lcf.sig
  src/annotated_lcf.sig
  src/annotated_lcf.fun
  src/tacticals.sig
  src/tacticals.fun
  src/list_util.sml