Tue, 13 Feb 2007 18:26:48 +0100 | berghofe | Added nominal_inductive keyword. | changeset | files |
Tue, 13 Feb 2007 18:19:25 +0100 | berghofe | Added new file Nominal/nominal_inductive.ML | changeset | files |
Tue, 13 Feb 2007 18:18:45 +0100 | berghofe | First steps towards strengthening of induction rules for | changeset | files |