# HG changeset patch
# User wenzelm
# Date 1162990263 -3600
# Node ID f91699b807c32b6dc917f41476ebabdc8b10849b
# Parent  e0e555b67fe514dfaddf7ccfaecc46361ae26b41
obsolete (cf. ROOT.ML);

diff -r e0e555b67fe5 -r f91699b807c3 src/HOL/Main.ML
--- a/src/HOL/Main.ML	Wed Nov 08 13:48:35 2006 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-
-structure Main =
-struct
-  val thy = the_context ();
-end;