changeset 1461 | 6bcb44e4d6e5 |
parent 1361 | 90d615b599d9 |
child 3941 | ea440c63d206 |
--- a/src/LCF/ROOT.ML Mon Jan 29 14:16:13 1996 +0100 +++ b/src/LCF/ROOT.ML Tue Jan 30 13:42:57 1996 +0100 @@ -1,6 +1,6 @@ -(* Title: LCF/ROOT +(* Title: LCF/ROOT ID: $Id$ - Author: Tobias Nipkow + Author: Tobias Nipkow Copyright 1992 University of Cambridge Adds LCF to a database containing First-Order Logic. @@ -17,4 +17,4 @@ use"pair.ML"; use"fix.ML"; -val LCF_build_completed = (); (*indicate successful build*) +val LCF_build_completed = (); (*indicate successful build*)