src/HOL/Main.thy
author wenzelm
Thu Aug 17 10:33:37 2000 +0200 (2000-08-17)
changeset 9619 6125cc9efc18
parent 9447 e5180c869772
child 9650 6f0b89f2a1f9
permissions -rw-r--r--
fixed deps;
wenzelm@9619
     1
wenzelm@9619
     2
(*theory Main includes everything; note that theory
wenzelm@9619
     3
  PreList already includes most HOL theories*)
wenzelm@9619
     4
wenzelm@9619
     5
Main = Map + String