changeset 66444 | 6d2d993fa76e |
parent 58974 | cbc2ac19d783 |
child 66946 | 3d8fd98c7c86 |
66443:657c517c7dc6 | 66444:6d2d993fa76e |
---|---|
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 sessions |
|
15 FOL |
|
14 theories |
16 theories |
15 Wfd |
17 Wfd |
16 Fix |
18 Fix |
17 |
19 |
18 (* Examples for Classical Computational Logic *) |
20 (* Examples for Classical Computational Logic *) |