drwxr-xr-x | [up] | |||
drwxr-xr-x | document | files | ||
-rw-r--r-- | 2002-07-25 10:56 +0200 | 35674 | Datatype_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 35342 | Formula.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 55651 | L_axioms.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 962 | MetaExists.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 15352 | Normal.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 373 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 54272 | Rec_Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 14013 | Reflection.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 48781 | Relative.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 27991 | Separation.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 24175 | WF_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 22860 | WFrec.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-25 10:56 +0200 | 24638 | Wellorderings.thy | file | revisions | annotate |