drwxr-xr-x | [up] | |||
drwxr-xr-x | document | files | ||
-rw-r--r-- | 2002-07-30 11:39 +0200 | 37042 | Datatype_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 35342 | Formula.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 54982 | L_axioms.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 962 | MetaExists.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 15367 | Normal.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 373 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 52417 | Rec_Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 14631 | Reflection.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 51474 | Relative.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 26700 | Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 24200 | WF_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 22853 | WFrec.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-30 11:39 +0200 | 24639 | Wellorderings.thy | file | revisions | annotate |