src/HOL/Main.thy
author wenzelm
Thu Mar 11 13:20:35 1999 +0100 (1999-03-11)
changeset 6349 f7750d816c21
parent 6059 aa00e235ea27
child 6779 2912aff958bd
permissions -rw-r--r--
removed foo_build_completed -- now handled by session management (via usedir);
     1 
     2 (*theory Main includes everything*)
     3 
     4 Main = Bin + Map + Recdef + Record + RelPow + Sexp + String