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 |
Fri, 01 Jul 2005 04:09:27 +0200 | huffman | added theorem lift_definedE; moved cont_if to Cont.thy | changeset | files |