isabelle: Changelog

berghofe [Wed, 24 Nov 2004 10:37:38 +0100] rev 15326

Made test_term escape special characters in strings that caused the ML compiler to fail.

berghofe [Wed, 24 Nov 2004 10:32:33 +0100] rev 15325

Functions nat_to_bv and bv_to_nat now really operate on natural numbers.

berghofe [Wed, 24 Nov 2004 10:30:19 +0100] rev 15324

Added EfficientNat

berghofe [Wed, 24 Nov 2004 10:29:44 +0100] rev 15323

Code generator plug-in for implementing natural numbers by integers.

berghofe [Wed, 24 Nov 2004 10:28:09 +0100] rev 15322

Added Library/EfficientNat

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.

berghofe [Wed, 24 Nov 2004 10:23:36 +0100] rev 15320

New theorem zpower_int

nipkow [Wed, 24 Nov 2004 08:43:41 +0100] rev 15319

*** empty log message ***

obua [Tue, 23 Nov 2004 18:58:59 +0100] rev 15318

prettier proof of setsum_diff

webertj [Tue, 23 Nov 2004 17:47:37 +0100] rev 15317

HTML conformity

isabelle