drwxr-xr-x | [up] | |||
drwxr-xr-x | document | files | ||
-rw-r--r-- | 2002-08-15 21:36 +0200 | 11920 | DPow_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 36823 | Datatype_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 35342 | Formula.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 53681 | Internalize.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 57107 | L_axioms.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 962 | MetaExists.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 15367 | Normal.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 298 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 30940 | Rec_Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 14631 | Reflection.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 54007 | Relative.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 48863 | Satisfies_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 27576 | Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 24200 | WF_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 22853 | WFrec.thy | file | revisions | annotate |
-rw-r--r-- | 2002-08-15 21:36 +0200 | 24639 | Wellorderings.thy | file | revisions | annotate |