Tue, 20 Oct 2009 15:02:48 +0100 | paulson | Removal of the unused atpset concept, the atp attribute and some related code. | changeset | files |
Tue, 20 Oct 2009 15:03:17 +0200 | boehmes | additional schematic rules for Z3's rewrite rule | changeset | files |
Tue, 20 Oct 2009 14:44:19 +0200 | nipkow | merged | changeset | files |
Tue, 20 Oct 2009 14:44:02 +0200 | nipkow | added Hilbert_Choice section | changeset | files |
Tue, 20 Oct 2009 14:22:54 +0200 | boehmes | merged | changeset | files |
Tue, 20 Oct 2009 14:22:02 +0200 | boehmes | eliminated extraneous wrapping of public records, | changeset | files |