drwxr-xr-x | [up] | |||
-rw-r--r-- | 2002-07-01 18:16 +0200 | 5990 | Datatype_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 29999 | Formula.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 4706 | L_axioms.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 15345 | Normal.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 314 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 13150 | Reflection.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 37509 | Relative.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 24067 | WF_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 21819 | WFrec.thy | file | revisions | annotate |
-rw-r--r-- | 2002-07-01 18:16 +0200 | 24383 | Wellorderings.thy | file | revisions | annotate |