| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 19 | ROOT.ML | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 403 | ToyList.ML | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 368 | ToyList.thy | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 21 | addsimps2 | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 14 | autotac | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 23 | inductxs | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 43 | lemma1 | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 21 | lemma2 | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 77 | lemma3 | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 15 | qed | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 35 | qed1 | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 16 | qed2 | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 39 | qed3 | file | revisions | annotate |
| -rw-r--r-- | 1998-11-27 13:13 +0100 | 25 | thm | file | revisions | annotate |