Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
obsolete (cf. ROOT.ML);
authorwenzelm
Wed, 08 Nov 2006 13:51:03 +0100
changeset 21247 f91699b807c3
parent 21246 e0e555b67fe5
child 21248 3fd22b0939ff
obsolete (cf. ROOT.ML);
src/HOL/Main.ML file | annotate | diff | comparison | revisions 
--- 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;
isabelle