/src/ZF/Constructible/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2006-11-17 02:20 +0100 15055 AC_in_L.thy
-rw-r--r-- 2006-11-17 02:20 +0100 23044 DPow_absolute.thy
-rw-r--r-- 2006-11-17 02:20 +0100 37019 Datatype_absolute.thy
-rw-r--r-- 2006-11-17 02:20 +0100 33286 Formula.thy
-rw-r--r-- 2006-11-17 02:20 +0100 54172 Internalize.thy
-rw-r--r-- 2006-11-17 02:20 +0100 48111 L_axioms.thy
-rw-r--r-- 2006-11-17 02:20 +0100 1070 MetaExists.thy
-rw-r--r-- 2006-11-17 02:20 +0100 15626 Normal.thy
-rw-r--r-- 2006-11-17 02:20 +0100 1409 README.html
-rw-r--r-- 2006-11-17 02:20 +0100 311 ROOT.ML
-rw-r--r-- 2006-11-17 02:20 +0100 35997 Rank.thy
-rw-r--r-- 2006-11-17 02:20 +0100 10742 Rank_Separation.thy
-rw-r--r-- 2006-11-17 02:20 +0100 17067 Rec_Separation.thy
-rw-r--r-- 2006-11-17 02:20 +0100 14605 Reflection.thy
-rw-r--r-- 2006-11-17 02:20 +0100 54087 Relative.thy
-rw-r--r-- 2006-11-17 02:20 +0100 41768 Satisfies_absolute.thy
-rw-r--r-- 2006-11-17 02:20 +0100 12416 Separation.thy
-rw-r--r-- 2006-11-17 02:20 +0100 12204 WF_absolute.thy
-rw-r--r-- 2006-11-17 02:20 +0100 13494 WFrec.thy
-rw-r--r-- 2006-11-17 02:20 +0100 8249 Wellorderings.thy