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