src/HOL/Main.ML
author haftmann
Mon Aug 14 13:46:06 2006 +0200 (2006-08-14)
changeset 20380 14f9f2a1caa6
parent 9650 6f0b89f2a1f9
permissions -rw-r--r--
simplified code generator setup
     1 
     2 structure Main =
     3 struct
     4   val thy = the_context ();
     5 end;