/src/ZF/Constructible/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2007-07-31 19:40 +0200 15055 AC_in_L.thy
-rw-r--r-- 2007-07-31 19:40 +0200 23044 DPow_absolute.thy
-rw-r--r-- 2007-07-31 19:40 +0200 37019 Datatype_absolute.thy
-rw-r--r-- 2007-07-31 19:40 +0200 33286 Formula.thy
-rw-r--r-- 2007-07-31 19:40 +0200 54172 Internalize.thy
-rw-r--r-- 2007-07-31 19:40 +0200 48111 L_axioms.thy
-rw-r--r-- 2007-07-31 19:40 +0200 1070 MetaExists.thy
-rw-r--r-- 2007-07-31 19:40 +0200 15626 Normal.thy
-rw-r--r-- 2007-07-31 19:40 +0200 1409 README.html
-rw-r--r-- 2007-07-31 19:40 +0200 298 ROOT.ML
-rw-r--r-- 2007-07-31 19:40 +0200 35997 Rank.thy
-rw-r--r-- 2007-07-31 19:40 +0200 10742 Rank_Separation.thy
-rw-r--r-- 2007-07-31 19:40 +0200 17067 Rec_Separation.thy
-rw-r--r-- 2007-07-31 19:40 +0200 14617 Reflection.thy
-rw-r--r-- 2007-07-31 19:40 +0200 54087 Relative.thy
-rw-r--r-- 2007-07-31 19:40 +0200 41776 Satisfies_absolute.thy
-rw-r--r-- 2007-07-31 19:40 +0200 12416 Separation.thy
-rw-r--r-- 2007-07-31 19:40 +0200 12204 WF_absolute.thy
-rw-r--r-- 2007-07-31 19:40 +0200 13494 WFrec.thy
-rw-r--r-- 2007-07-31 19:40 +0200 8249 Wellorderings.thy