Wed, 10 Jan 2007 09:28:24 +0100 improved case patterns
haftmann [Wed, 10 Jan 2007 09:28:24 +0100] rev 22052
improved case patterns
Wed, 10 Jan 2007 08:58:35 +0100 added undefined in cases
haftmann [Wed, 10 Jan 2007 08:58:35 +0100] rev 22051
added undefined in cases
Tue, 09 Jan 2007 19:09:01 +0100 named preprocessorts
haftmann [Tue, 09 Jan 2007 19:09:01 +0100] rev 22050
named preprocessorts
Tue, 09 Jan 2007 19:09:00 +0100 cleanup
haftmann [Tue, 09 Jan 2007 19:09:00 +0100] rev 22049
cleanup
Tue, 09 Jan 2007 19:08:59 +0100 activated new class code
haftmann [Tue, 09 Jan 2007 19:08:59 +0100] rev 22048
activated new class code
Tue, 09 Jan 2007 19:08:58 +0100 handling for "undefined" in case expressions
haftmann [Tue, 09 Jan 2007 19:08:58 +0100] rev 22047
handling for "undefined" in case expressions
Tue, 09 Jan 2007 19:08:56 +0100 named preprocessors
haftmann [Tue, 09 Jan 2007 19:08:56 +0100] rev 22046
named preprocessors
Tue, 09 Jan 2007 18:13:55 +0100 The "of 1, simplified" stopped working some time ago, leaving these simprules
paulson [Tue, 09 Jan 2007 18:13:55 +0100] rev 22045
The "of 1, simplified" stopped working some time ago, leaving these simprules open to looking. Now, explicit lemma statements ensure that the correct formula is proved.
Tue, 09 Jan 2007 18:12:59 +0100 More compact proof reconstruction: lines having fewer than !min_deps dependences are folded
paulson [Tue, 09 Jan 2007 18:12:59 +0100] rev 22044
More compact proof reconstruction: lines having fewer than !min_deps dependences are folded into the rest of the proof.
Tue, 09 Jan 2007 15:49:39 +0100 simplified the resoution proofs
paulson [Tue, 09 Jan 2007 15:49:39 +0100] rev 22043
simplified the resoution proofs
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip