| Thu, 14 Dec 2006 22:08:35 +0100 | huffman | declare insert_iff [simp] | changeset | files |
| Thu, 14 Dec 2006 21:46:59 +0100 | wenzelm | activated improved use_ml, which captures output and reports source positions; | changeset | files |
| Thu, 14 Dec 2006 21:46:58 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 14 Dec 2006 21:33:47 +0100 | huffman | prove hyperpow_realpow using transfer | changeset | files |
| Thu, 14 Dec 2006 21:03:39 +0100 | huffman | remove usage of ultra tactic | changeset | files |
| Thu, 14 Dec 2006 19:29:48 +0100 | huffman | add lemmas singleton and insert_iff | changeset | files |
| Thu, 14 Dec 2006 19:15:16 +0100 | huffman | generalized type of hyperpow; removed hcpow | changeset | files |