equal
deleted
inserted
replaced
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 *} |
12 *} |
13 options [document = false] |
13 options [document = false] |
14 theories Wfd Fix |
14 theories |
|
15 Wfd |
|
16 Fix |
15 |
17 |
16 session "CCL-ex" in ex = CCL + |
18 (* Examples for Classical Computational Logic *) |
17 description {* |
19 "ex/Nat" |
18 Author: Martin Coen, Cambridge University Computer Laboratory |
20 "ex/List" |
19 Copyright 1993 University of Cambridge |
21 "ex/Stream" |
|
22 "ex/Flag" |
20 |
23 |
21 Examples for Classical Computational Logic. |
|
22 *} |
|
23 options [document = false] |
|
24 theories Nat List Stream Flag |
|
25 |
|