Tue, 20 Oct 2009 15:02:48 +0100 paulson Removal of the unused atpset concept, the atp attribute and some related code.
Tue, 20 Oct 2009 15:03:17 +0200 boehmes additional schematic rules for Z3's rewrite rule
Tue, 20 Oct 2009 14:44:19 +0200 nipkow merged
Tue, 20 Oct 2009 14:44:02 +0200 nipkow added Hilbert_Choice section
Tue, 20 Oct 2009 14:22:54 +0200 boehmes merged
Tue, 20 Oct 2009 14:22:02 +0200 boehmes eliminated extraneous wrapping of public records,
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip