author | wenzelm |
Fri, 12 Nov 2010 11:36:01 +0100 | |
changeset 40483 | 3848283c14bb |
parent 39128 | 93a7365fb4ee |
permissions | -rw-r--r-- |
9000 | 1 |
(* Title: CCL/ROOT.ML |
0 | 2 |
Author: Martin Coen, Cambridge University Computer Laboratory |
3 |
Copyright 1993 University of Cambridge |
|
4 |
||
17456 | 5 |
Classical Computational Logic based on First-Order Logic. |
32740 | 6 |
|
7 |
A computational logic for an untyped functional language with |
|
8 |
evaluation to weak head-normal form. |
|
0 | 9 |
*) |
10 |
||
24106 | 11 |
use_thys ["Wfd", "Fix"]; |