src/ZF/Main.ML
author obua
Thu, 16 Feb 2006 04:17:19 +0100
changeset 19067 c0321d7d6b3d
parent 17876 b9c92f384109
permissions -rw-r--r--
variable counter is now also cached
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17876
b9c92f384109 change_claset/simpset;
wenzelm
parents: 12725
diff changeset
     1
b9c92f384109 change_claset/simpset;
wenzelm
parents: 12725
diff changeset
     2
(* $Id$ *)
12425
97975229f893 added Main.ML;
wenzelm
parents:
diff changeset
     3
97975229f893 added Main.ML;
wenzelm
parents:
diff changeset
     4
structure Main =
97975229f893 added Main.ML;
wenzelm
parents:
diff changeset
     5
struct
97975229f893 added Main.ML;
wenzelm
parents:
diff changeset
     6
  val thy = the_context ();
97975229f893 added Main.ML;
wenzelm
parents:
diff changeset
     7
end;