author | wenzelm |
Tue, 24 Jul 2012 20:42:34 +0200 | |
changeset 48483 | 9bfb6978eb80 |
parent 48475 | 02dd825f5a4e |
child 48738 | f8c1a5b9488f |
permissions | -rw-r--r-- |
48475 | 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 |
*} |
|
48483
9bfb6978eb80
more explicit document = false to reduce warnings;
wenzelm
parents:
48475
diff
changeset
|
11 |
options [document = false] |
48475 | 12 |
theories Wfd Fix |
13 |
||
14 |
session ex = CCL + |
|
15 |
description {* |
|
16 |
Author: Martin Coen, Cambridge University Computer Laboratory |
|
17 |
Copyright 1993 University of Cambridge |
|
18 |
||
19 |
Examples for Classical Computational Logic. |
|
20 |
*} |
|
48483
9bfb6978eb80
more explicit document = false to reduce warnings;
wenzelm
parents:
48475
diff
changeset
|
21 |
options [document = false] |
48475 | 22 |
theories Nat List Stream Flag |
23 |