drwxr-xr-x | [up] | |||
-rw-r--r-- | 2002-06-19 11:48 +0200 | 31612 | Formula.thy | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 4711 | L_axioms.thy | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 15350 | Normal.thy | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 80 | ROOT.ML | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 13151 | Reflection.thy | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 33341 | Relative.thy | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 7374 | WF_absolute.thy | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 21682 | WFrec.thy | file | revisions | annotate |
-rw-r--r-- | 2002-06-19 11:48 +0200 | 23783 | Wellorderings.thy | file | revisions | annotate |