--- a/src/ZF/Main.thy	Tue Apr 11 10:29:25 2017 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
-theory Main 
-imports Main_ZF
-begin
-
-end
changeset 65464	f3cd78ba687c
parent 65438	f556a7a9080c
parent 65463	104502de757c
child 65465	067210a08a22
child 65467	9535c670b1b4