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