drwxr-xr-x | [up] | |||
drwxr-xr-x | document | files | ||
-rw-r--r-- | 2002-10-04 15:57 +0200 | 17435 | AC_in_L.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 23313 | DPow_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 37593 | Datatype_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 35266 | Formula.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 53920 | Internalize.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 57160 | L_axioms.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 1158 | MetaExists.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 15559 | Normal.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 284 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 28469 | Rec_Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 14634 | Reflection.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 53877 | Relative.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 42396 | Satisfies_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 25076 | Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 24397 | WF_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 22708 | WFrec.thy | file | revisions | annotate |
-rw-r--r-- | 2002-10-04 15:57 +0200 | 23990 | Wellorderings.thy | file | revisions | annotate |