/src/ZF/AC/
drwxr-xr-x [up]
-rw-r--r-- 1996-02-06 12:27 +0100 670 AC0_AC1.ML
-rw-r--r-- 1996-02-06 12:27 +0100 10759 AC10_AC15.ML
-rw-r--r-- 1996-02-06 12:27 +0100 1714 AC15_WO6.ML
-rw-r--r-- 1996-02-06 12:27 +0100 58 AC15_WO6.thy
-rw-r--r-- 1996-02-06 12:27 +0100 30509 AC16_WO4.ML
-rw-r--r-- 1996-02-06 12:27 +0100 637 AC16_WO4.thy
-rw-r--r-- 1996-02-06 12:27 +0100 11151 AC16_lemmas.ML
-rw-r--r-- 1996-02-06 12:27 +0100 84 AC16_lemmas.thy
-rw-r--r-- 1996-02-06 12:27 +0100 3395 AC17_AC1.ML
-rw-r--r-- 1996-02-06 12:27 +0100 58 AC17_AC1.thy
-rw-r--r-- 1996-02-06 12:27 +0100 4468 AC18_AC19.ML
-rw-r--r-- 1996-02-06 12:27 +0100 310 AC18_AC19.thy
-rw-r--r-- 1996-02-06 12:27 +0100 671 AC1_AC17.ML
-rw-r--r-- 1996-02-06 12:27 +0100 778 AC1_WO2.ML
-rw-r--r-- 1996-02-06 12:27 +0100 57 AC1_WO2.thy
-rw-r--r-- 1996-02-06 12:27 +0100 7746 AC2_AC6.ML
-rw-r--r-- 1996-02-06 12:27 +0100 9138 AC7_AC9.ML
-rw-r--r-- 1996-02-06 12:27 +0100 7068 AC_Equiv.ML
-rw-r--r-- 1996-02-06 12:27 +0100 4444 AC_Equiv.thy
-rw-r--r-- 1996-02-06 12:27 +0100 15551 Cardinal_aux.ML
-rw-r--r-- 1996-02-06 12:27 +0100 77 Cardinal_aux.thy
-rw-r--r-- 1996-02-06 12:27 +0100 27151 DC.ML
-rw-r--r-- 1996-02-06 12:27 +0100 725 DC.thy
-rw-r--r-- 1996-02-06 12:27 +0100 5245 DC_lemmas.ML
-rw-r--r-- 1996-02-06 12:27 +0100 74 DC_lemmas.thy
-rw-r--r-- 1996-02-06 12:27 +0100 9455 HH.ML
-rw-r--r-- 1996-02-06 12:27 +0100 404 HH.thy
-rw-r--r-- 1996-02-06 12:27 +0100 2781 Hartog.ML
-rw-r--r-- 1996-02-06 12:27 +0100 225 Hartog.thy
-rw-r--r-- 1996-02-06 12:27 +0100 3369 OrdQuant.ML
-rw-r--r-- 1996-02-06 12:27 +0100 843 OrdQuant.thy
-rw-r--r-- 1996-02-06 12:27 +0100 864 ROOT.ML
-rw-r--r-- 1996-02-06 12:27 +0100 1127 Transrec2.ML
-rw-r--r-- 1996-02-06 12:27 +0100 624 Transrec2.thy
-rw-r--r-- 1996-02-06 12:27 +0100 4838 WO1_AC.ML
-rw-r--r-- 1996-02-06 12:27 +0100 70 WO1_AC.thy
-rw-r--r-- 1996-02-06 12:27 +0100 2816 WO1_WO6.ML
-rw-r--r-- 1996-02-06 12:27 +0100 4201 WO1_WO7.ML
-rw-r--r-- 1996-02-06 12:27 +0100 1161 WO1_WO8.ML
-rw-r--r-- 1996-02-06 12:27 +0100 26726 WO2_AC16.ML
-rw-r--r-- 1996-02-06 12:27 +0100 106 WO2_AC16.thy
-rw-r--r-- 1996-02-06 12:27 +0100 20902 WO6_WO1.ML
-rw-r--r-- 1996-02-06 12:27 +0100 1483 WO6_WO1.thy
-rw-r--r-- 1996-02-06 12:27 +0100 756 WO_AC.ML
-rw-r--r-- 1996-02-06 12:27 +0100 66 WO_AC.thy
-rw-r--r-- 1996-02-06 12:27 +0100 879 first.ML
-rw-r--r-- 1996-02-06 12:27 +0100 355 first.thy
-rw-r--r-- 1996-02-06 12:27 +0100 2679 recfunAC16.ML
-rw-r--r-- 1996-02-06 12:27 +0100 517 recfunAC16.thy
-rw-r--r-- 1996-02-06 12:27 +0100 2014 rel_is_fun.ML
-rw-r--r-- 1996-02-06 12:27 +0100 68 rel_is_fun.thy