/src/ZF/Constructible/
drwxr-xr-x [up]
-rw-r--r-- 2002-06-26 10:25 +0200 29999 Formula.thy
-rw-r--r-- 2002-06-26 10:25 +0200 4711 L_axioms.thy
-rw-r--r-- 2002-06-26 10:25 +0200 15350 Normal.thy
-rw-r--r-- 2002-06-26 10:25 +0200 279 ROOT.ML
-rw-r--r-- 2002-06-26 10:25 +0200 13151 Reflection.thy
-rw-r--r-- 2002-06-26 10:25 +0200 35517 Relative.thy
-rw-r--r-- 2002-06-26 10:25 +0200 18213 WF_absolute.thy
-rw-r--r-- 2002-06-26 10:25 +0200 21895 WFrec.thy
-rw-r--r-- 2002-06-26 10:25 +0200 23966 Wellorderings.thy