Fri, 17 Jan 1997 18:19:57 +0100 | wenzelm | addsimps, addeqcongs: replaced @ by gen_union; | changeset | files |
Fri, 17 Jan 1997 16:58:59 +0100 | nipkow | Incorporated Larry's changes. | changeset | files |
Fri, 17 Jan 1997 16:17:31 +0100 | paulson | New rewrites for bounded quantifiers | changeset | files |