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 |