| Mon, 21 May 2007 18:53:04 +0200 | huffman | add lemmas divide_numeral_1 and inverse_numeral_1 | changeset | files |
| Mon, 21 May 2007 16:39:58 +0200 | krauss | fixed signature | changeset | files |
| Mon, 21 May 2007 16:22:46 +0200 | krauss | Method "lexicographic_order" now takes the same arguments as "auto" | changeset | files |
| Mon, 21 May 2007 16:19:56 +0200 | narboux | change fresh_fun_simp to treat occurences in assumptions and try to solve the generated subgoals | changeset | files |
| Sun, 20 May 2007 18:48:52 +0200 | huffman | define pi with THE instead of SOME; cleaned up | changeset | files |
| Sun, 20 May 2007 17:49:10 +0200 | huffman | add lemmas for sin,cos,tan of 30,45,60 degrees; cleaned up | changeset | files |