src/CTT/ROOT.ML
author wenzelm
Thu Aug 09 23:53:51 2007 +0200 (2007-08-09)
changeset 24209 8a2c8d623e43
parent 19761 5cd82054c2c6
child 25750 4e796867ccb5
permissions -rw-r--r--
schedule: misc cleanup, more precise task model;
wenzelm@19761
     1
(*  Title:      CTT/ROOT.ML
clasohm@0
     2
    ID:         $Id$
clasohm@1459
     3
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
clasohm@0
     4
    Copyright   1991  University of Cambridge
clasohm@0
     5
*)
clasohm@0
     6
clasohm@0
     7
val banner = "Constructive Type Theory";
clasohm@0
     8
writeln banner;
clasohm@0
     9
paulson@10466
    10
use_thy "Main";