Wed, 24 Nov 2004 10:30:19 +0100 Added EfficientNat
berghofe [Wed, 24 Nov 2004 10:30:19 +0100] rev 15324
Added EfficientNat
Wed, 24 Nov 2004 10:29:44 +0100 Code generator plug-in for implementing natural numbers by integers.
berghofe [Wed, 24 Nov 2004 10:29:44 +0100] rev 15323
Code generator plug-in for implementing natural numbers by integers.
Wed, 24 Nov 2004 10:28:09 +0100 Added Library/EfficientNat
berghofe [Wed, 24 Nov 2004 10:28:09 +0100] rev 15322
Added Library/EfficientNat
Wed, 24 Nov 2004 10:27:24 +0100 Reimplemented some operations on "code lemma" table to avoid that code
berghofe [Wed, 24 Nov 2004 10:27:24 +0100] rev 15321
Reimplemented some operations on "code lemma" table to avoid that code lemmas get lost during merge.
Wed, 24 Nov 2004 10:23:36 +0100 New theorem zpower_int
berghofe [Wed, 24 Nov 2004 10:23:36 +0100] rev 15320
New theorem zpower_int
Wed, 24 Nov 2004 08:43:41 +0100 *** empty log message ***
nipkow [Wed, 24 Nov 2004 08:43:41 +0100] rev 15319
*** empty log message ***
Tue, 23 Nov 2004 18:58:59 +0100 prettier proof of setsum_diff
obua [Tue, 23 Nov 2004 18:58:59 +0100] rev 15318
prettier proof of setsum_diff
Tue, 23 Nov 2004 17:47:37 +0100 HTML conformity
webertj [Tue, 23 Nov 2004 17:47:37 +0100] rev 15317
HTML conformity
Tue, 23 Nov 2004 16:43:03 +0100 renamed 1 lemmas
nipkow [Tue, 23 Nov 2004 16:43:03 +0100] rev 15316
renamed 1 lemmas
Tue, 23 Nov 2004 16:42:54 +0100 renamed 2 lemmas
nipkow [Tue, 23 Nov 2004 16:42:54 +0100] rev 15315
renamed 2 lemmas
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip