/src/ZF/Constructible/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2005-06-17 16:12 +0200 14948 AC_in_L.thy
-rw-r--r-- 2005-06-17 16:12 +0200 22998 DPow_absolute.thy
-rw-r--r-- 2005-06-17 16:12 +0200 36723 Datatype_absolute.thy
-rw-r--r-- 2005-06-17 16:12 +0200 33160 Formula.thy
-rw-r--r-- 2005-06-17 16:12 +0200 53845 Internalize.thy
-rw-r--r-- 2005-06-17 16:12 +0200 47728 L_axioms.thy
-rw-r--r-- 2005-06-17 16:12 +0200 1120 MetaExists.thy
-rw-r--r-- 2005-06-17 16:12 +0200 15525 Normal.thy
-rw-r--r-- 2005-06-17 16:12 +0200 1409 README.html
-rw-r--r-- 2005-06-17 16:12 +0200 311 ROOT.ML
-rw-r--r-- 2005-06-17 16:12 +0200 35873 Rank.thy
-rw-r--r-- 2005-06-17 16:12 +0200 10783 Rank_Separation.thy
-rw-r--r-- 2005-06-17 16:12 +0200 17130 Rec_Separation.thy
-rw-r--r-- 2005-06-17 16:12 +0200 14602 Reflection.thy
-rw-r--r-- 2005-06-17 16:12 +0200 52820 Relative.thy
-rw-r--r-- 2005-06-17 16:12 +0200 41506 Satisfies_absolute.thy
-rw-r--r-- 2005-06-17 16:12 +0200 12423 Separation.thy
-rw-r--r-- 2005-06-17 16:12 +0200 12157 WF_absolute.thy
-rw-r--r-- 2005-06-17 16:12 +0200 13453 WFrec.thy
-rw-r--r-- 2005-06-17 16:12 +0200 8157 Wellorderings.thy