| Mon, 23 Jun 2008 15:26:51 +0200 | wenzelm | induct_tac/case_tac: nested tuples are split as expected; | changeset | files |
| Mon, 23 Jun 2008 15:26:49 +0200 | wenzelm | induct_tac: old conjunctive rules no longer supported; | changeset | files |
| Mon, 23 Jun 2008 15:26:48 +0200 | wenzelm | updated generated file; | changeset | files |
| Mon, 23 Jun 2008 15:26:47 +0200 | wenzelm | induct_tac: rule is inferred from types; | changeset | files |
| Sun, 22 Jun 2008 23:08:32 +0200 | huffman | cleaned up some proofs; | changeset | files |
| Sun, 22 Jun 2008 23:02:40 +0200 | huffman | use new-style abbreviation/notation for fix syntax | changeset | files |