src/ZF/Main_ZFC.ML

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/ZF/Main_ZFC.ML	Wed Dec 19 11:13:27 2001 +0100
@@ -0,0 +1,4 @@
+structure Main_ZFC =
+struct
+  val thy = the_context ();
+end;