1chapter CCL
2
3session CCL = Pure +
4  description "
5    Author:     Martin Coen, Cambridge University Computer Laboratory
6    Copyright   1993  University of Cambridge
7
8    Classical Computational Logic based on First-Order Logic.
9
10    A computational logic for an untyped functional language with
11    evaluation to weak head-normal form.
12  "
13  sessions
14    FOL
15  directories "ex"
16  theories
17    Wfd
18    Fix
19    (* Examples for Classical Computational Logic *)
20    "ex/Nat"
21    "ex/List"
22    "ex/Stream"
23    "ex/Flag"
24