Wed, 28 Mar 2001 13:40:06 +0200 Got rid of is_dfa
nipkow [Wed, 28 Mar 2001 13:40:06 +0200] rev 11229
Got rid of is_dfa
Wed, 28 Mar 2001 13:39:50 +0200 MicroJava/BV dependencies incomplete
nipkow [Wed, 28 Mar 2001 13:39:50 +0200] rev 11228
MicroJava/BV dependencies incomplete
Tue, 27 Mar 2001 13:00:30 +0200 fixed bug in tactic for ball 1 point simproc
nipkow [Tue, 27 Mar 2001 13:00:30 +0200] rev 11227
fixed bug in tactic for ball 1 point simproc
Tue, 27 Mar 2001 11:27:06 +0200 Vos
paulson [Tue, 27 Mar 2001 11:27:06 +0200] rev 11226
Vos
Mon, 26 Mar 2001 19:37:31 +0200 simplified proofs
nipkow [Mon, 26 Mar 2001 19:37:31 +0200] rev 11225
simplified proofs
Mon, 26 Mar 2001 16:31:38 +0200 simplified proofs
nipkow [Mon, 26 Mar 2001 16:31:38 +0200] rev 11224
simplified proofs
Mon, 26 Mar 2001 12:51:14 +0200 I forgot a few bases cases for the 1-point rules...
nipkow [Mon, 26 Mar 2001 12:51:14 +0200] rev 11223
I forgot a few bases cases for the 1-point rules...
Fri, 23 Mar 2001 12:10:05 +0100 shortening and streamlining of proofs
paulson [Fri, 23 Mar 2001 12:10:05 +0100] rev 11222
shortening and streamlining of proofs
Fri, 23 Mar 2001 10:12:12 +0100 added simproc for bounded quantifiers
nipkow [Fri, 23 Mar 2001 10:12:12 +0100] rev 11221
added simproc for bounded quantifiers
Fri, 23 Mar 2001 10:10:53 +0100 added one point simprocs for bounded quantifiers
nipkow [Fri, 23 Mar 2001 10:10:53 +0100] rev 11220
added one point simprocs for bounded quantifiers
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip