Tue, 05 Jun 2007 07:58:50 +0200 | huffman | remove simp attribute from lemma_STAR theorems | changeset | files |
Tue, 05 Jun 2007 00:54:03 +0200 | huffman | add lemma exp_of_real | changeset | files |
Mon, 04 Jun 2007 22:27:18 +0200 | nipkow | tuned list comprehension | changeset | files |
Mon, 04 Jun 2007 21:04:20 +0200 | wenzelm | tuned; | changeset | files |
Mon, 04 Jun 2007 21:04:19 +0200 | wenzelm | added is_atomic; | changeset | files |
Mon, 04 Jun 2007 21:04:19 +0200 | wenzelm | added assume_rule_tac; | changeset | files |