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 |