| Wed, 07 May 1997 16:26:02 +0200 | paulson | Larry's private LaTeX-2e version | changeset | files |
| Wed, 07 May 1997 13:51:22 +0200 | paulson | Moved induction examples to directory Induct | changeset | files |
| Wed, 07 May 1997 13:50:52 +0200 | paulson | changed title to README | changeset | files |
| Wed, 07 May 1997 13:50:18 +0200 | paulson | Documentation for directory "ex" | changeset | files |
| Wed, 07 May 1997 13:49:57 +0200 | paulson | Documentation for directory "Induct" | changeset | files |
| Wed, 07 May 1997 13:01:43 +0200 | paulson | Conversion to use blast_tac (with other improvements) | changeset | files |
| Wed, 07 May 1997 12:50:26 +0200 | paulson | New directory to contain examples of (co)inductive definitions | changeset | files |
| Wed, 07 May 1997 12:49:02 +0200 | paulson | Description of the Auth directory: security protocols proofs | changeset | files |