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