| 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 |
| Fri, 01 Jul 2005 04:02:22 +0200 | huffman | added tactic cont_tac | changeset | files |
| Fri, 01 Jul 2005 04:00:23 +0200 | huffman | remove uses of sign_of | changeset | files |
| Fri, 01 Jul 2005 02:35:24 +0200 | huffman | cleaned up | changeset | files |