src/CCL/ROOT

tuned signature;

chapter CCL

session CCL = Pure +
  description \<open>
    Author:     Martin Coen, Cambridge University Computer Laboratory
    Copyright   1993  University of Cambridge

    Classical Computational Logic based on First-Order Logic.

    A computational logic for an untyped functional language with
    evaluation to weak head-normal form.
\<close>
  sessions
    FOL
  theories
    Wfd
    Fix

    (* Examples for Classical Computational Logic *)
    "ex/Nat"
    "ex/List"
    "ex/Stream"
    "ex/Flag"