| Mon, 14 May 2007 09:11:30 +0200 | huffman | remove redundant lemmas | changeset | files |
| Mon, 14 May 2007 08:15:13 +0200 | huffman | cleaned up | changeset | files |
| Mon, 14 May 2007 08:12:38 +0200 | huffman | tuned | changeset | files |
| Sun, 13 May 2007 20:05:42 +0200 | huffman | define roots of negative reals so that many lemmas no longer require side conditions; simplification solves more goals than previously | changeset | files |
| Sun, 13 May 2007 19:15:36 +0200 | huffman | add lemma power_eq_imp_eq_base | changeset | files |
| Sun, 13 May 2007 18:16:49 +0200 | haftmann | added module int | changeset | files |
| Sun, 13 May 2007 18:15:30 +0200 | haftmann | dropped legacy | changeset | files |
| Sun, 13 May 2007 18:15:28 +0200 | haftmann | removed module rat.ML | changeset | files |
| Sun, 13 May 2007 18:15:26 +0200 | haftmann | whitespace tuned | changeset | files |
| Sun, 13 May 2007 18:15:25 +0200 | haftmann | tuned | changeset | files |
| Sun, 13 May 2007 18:15:24 +0200 | haftmann | fixed omission | changeset | files |
| Sun, 13 May 2007 18:15:23 +0200 | haftmann | tuned setup | changeset | files |
| Sun, 13 May 2007 18:15:22 +0200 | haftmann | refined module rat | changeset | files |
| Sun, 13 May 2007 18:15:21 +0200 | haftmann | added modules rat.ML and int.ML | changeset | files |
| Sun, 13 May 2007 09:23:27 +0200 | nipkow | Removed junk | changeset | files |
| Sun, 13 May 2007 07:11:21 +0200 | nipkow | Got rid of listsp | changeset | files |