| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 29999 | Formula.thy | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 4711 | L_axioms.thy | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 15350 | Normal.thy | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 279 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 13151 | Reflection.thy | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 35503 | Relative.thy | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 18227 | WF_absolute.thy | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 21386 | WFrec.thy | file | revisions | annotate |
| -rw-r--r-- | 2002-06-26 18:31 +0200 | 24383 | Wellorderings.thy | file | revisions | annotate |