Fri, 01 Jul 2005 14:01:13 +0200 | berghofe | Tuned finsum_cong to allow that premises are simplified more eagerly. | changeset | files |
Fri, 01 Jul 2005 13:57:53 +0200 | berghofe | Added strong_ball_cong and strong_bex_cong (these are now the standard | changeset | files |
Fri, 01 Jul 2005 13:56:34 +0200 | berghofe | Moved some code lemmas from Main to Nat. | changeset | files |
Fri, 01 Jul 2005 13:54:57 +0200 | berghofe | Adapted to new interface of code generator. | changeset | files |
Fri, 01 Jul 2005 13:54:12 +0200 | berghofe | Implemented trick (due to Tobias Nipkow) for fine-tuning simplification | changeset | files |
Fri, 01 Jul 2005 13:51:11 +0200 | berghofe | Added strong_setsum_cong and strong_setprod_cong. | changeset | files |
Fri, 01 Jul 2005 04:32:33 +0200 | huffman | defaultsort pcpo | changeset | files |