| 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 |