src/HOL/Main.thy
author wenzelm
Thu Mar 16 00:35:27 2000 +0100 (2000-03-16)
changeset 8490 6e0f23304061
parent 7143 9c02848c5404
child 9447 e5180c869772
permissions -rw-r--r--
added HOL/PreLIst.thy;
wenzelm@8490
     1
Main = Map + String             (*theory Main includes everything*)