changeset 23161 | cd928fd965a8 |
parent 23157 | 340586b2305c |
child 31974 | e81979a703a4 |
--- a/src/FOL/ROOT.ML Thu May 31 18:16:46 2007 +0200 +++ b/src/FOL/ROOT.ML Thu May 31 18:16:47 2007 +0200 @@ -1,10 +1,7 @@ (* Title: FOL/ROOT.ML ID: $Id$ - Author: Lawrence C Paulson, Cambridge University Computer Laboratory - Copyright 1993 University of Cambridge + +First-Order Logic with Natural Deduction. *) -val banner = "First-Order Logic with Natural Deduction"; -writeln banner; - use_thy "FOL";