/src/ZF/Constructible/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2022-09-13 09:38 +0200 16924 AC_in_L.thy
-rw-r--r-- 2022-09-13 09:38 +0200 24244 DPow_absolute.thy
-rw-r--r-- 2022-09-13 09:38 +0200 39361 Datatype_absolute.thy
-rw-r--r-- 2022-09-13 09:38 +0200 35277 Formula.thy
-rw-r--r-- 2022-09-13 09:38 +0200 57329 Internalize.thy
-rw-r--r-- 2022-09-13 09:38 +0200 50862 L_axioms.thy
-rw-r--r-- 2022-09-13 09:38 +0200 1077 MetaExists.thy
-rw-r--r-- 2022-09-13 09:38 +0200 17336 Normal.thy
-rw-r--r-- 2022-09-13 09:38 +0200 37509 Rank.thy
-rw-r--r-- 2022-09-13 09:38 +0200 11307 Rank_Separation.thy
-rw-r--r-- 2022-09-13 09:38 +0200 17532 Rec_Separation.thy
-rw-r--r-- 2022-09-13 09:38 +0200 15912 Reflection.thy
-rw-r--r-- 2022-09-13 09:38 +0200 60149 Relative.thy
-rw-r--r-- 2022-09-13 09:38 +0200 44294 Satisfies_absolute.thy
-rw-r--r-- 2022-09-13 09:38 +0200 12888 Separation.thy
-rw-r--r-- 2022-09-13 09:38 +0200 13010 WF_absolute.thy
-rw-r--r-- 2022-09-13 09:38 +0200 14474 WFrec.thy
-rw-r--r-- 2022-09-13 09:38 +0200 9293 Wellorderings.thy