/src/ZF/AC/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-03 15:01 +0100 732 AC0_AC1.ML
-rw-r--r-- 1997-01-03 15:01 +0100 10733 AC10_AC15.ML
-rw-r--r-- 1997-01-03 15:01 +0100 1715 AC15_WO6.ML
-rw-r--r-- 1997-01-03 15:01 +0100 58 AC15_WO6.thy
-rw-r--r-- 1997-01-03 15:01 +0100 30369 AC16_WO4.ML
-rw-r--r-- 1997-01-03 15:01 +0100 637 AC16_WO4.thy
-rw-r--r-- 1997-01-03 15:01 +0100 11184 AC16_lemmas.ML
-rw-r--r-- 1997-01-03 15:01 +0100 76 AC16_lemmas.thy
-rw-r--r-- 1997-01-03 15:01 +0100 3385 AC17_AC1.ML
-rw-r--r-- 1997-01-03 15:01 +0100 58 AC17_AC1.thy
-rw-r--r-- 1997-01-03 15:01 +0100 4463 AC18_AC19.ML
-rw-r--r-- 1997-01-03 15:01 +0100 310 AC18_AC19.thy
-rw-r--r-- 1997-01-03 15:01 +0100 661 AC1_AC17.ML
-rw-r--r-- 1997-01-03 15:01 +0100 872 AC1_WO2.ML
-rw-r--r-- 1997-01-03 15:01 +0100 57 AC1_WO2.thy
-rw-r--r-- 1997-01-03 15:01 +0100 7593 AC2_AC6.ML
-rw-r--r-- 1997-01-03 15:01 +0100 8941 AC7_AC9.ML
-rw-r--r-- 1997-01-03 15:01 +0100 6465 AC_Equiv.ML
-rw-r--r-- 1997-01-03 15:01 +0100 4434 AC_Equiv.thy
-rw-r--r-- 1997-01-03 15:01 +0100 10530 Cardinal_aux.ML
-rw-r--r-- 1997-01-03 15:01 +0100 68 Cardinal_aux.thy
-rw-r--r-- 1997-01-03 15:01 +0100 26632 DC.ML
-rw-r--r-- 1997-01-03 15:01 +0100 717 DC.thy
-rw-r--r-- 1997-01-03 15:01 +0100 3915 DC_lemmas.ML
-rw-r--r-- 1997-01-03 15:01 +0100 66 DC_lemmas.thy
-rw-r--r-- 1997-01-03 15:01 +0100 9072 HH.ML
-rw-r--r-- 1997-01-03 15:01 +0100 404 HH.thy
-rw-r--r-- 1997-01-03 15:01 +0100 2753 Hartog.ML
-rw-r--r-- 1997-01-03 15:01 +0100 225 Hartog.thy
-rw-r--r-- 1997-01-03 15:01 +0100 810 README.html
-rw-r--r-- 1997-01-03 15:01 +0100 864 ROOT.ML
-rw-r--r-- 1997-01-03 15:01 +0100 4856 WO1_AC.ML
-rw-r--r-- 1997-01-03 15:01 +0100 70 WO1_AC.thy
-rw-r--r-- 1997-01-03 15:01 +0100 2897 WO1_WO6.ML
-rw-r--r-- 1997-01-03 15:01 +0100 4205 WO1_WO7.ML
-rw-r--r-- 1997-01-03 15:01 +0100 1138 WO1_WO8.ML
-rw-r--r-- 1997-01-03 15:01 +0100 26107 WO2_AC16.ML
-rw-r--r-- 1997-01-03 15:01 +0100 106 WO2_AC16.thy
-rw-r--r-- 1997-01-03 15:01 +0100 20800 WO6_WO1.ML
-rw-r--r-- 1997-01-03 15:01 +0100 1483 WO6_WO1.thy
-rw-r--r-- 1997-01-03 15:01 +0100 762 WO_AC.ML
-rw-r--r-- 1997-01-03 15:01 +0100 58 WO_AC.thy
-rw-r--r-- 1997-01-03 15:01 +0100 2646 recfunAC16.ML
-rw-r--r-- 1997-01-03 15:01 +0100 481 recfunAC16.thy
-rw-r--r-- 1997-01-03 15:01 +0100 1711 rel_is_fun.ML
-rw-r--r-- 1997-01-03 15:01 +0100 22 rel_is_fun.thy