isabelle: Changelog

nipkow [Mon, 29 Nov 2004 11:12:19 +0100] rev 15337

New

kleing [Mon, 29 Nov 2004 06:09:45 +0100] rev 15336

render \<circ> as o not &circ; (which is ^)

webertj [Thu, 25 Nov 2004 20:33:35 +0100] rev 15335

minor code refactoring (typ_of_dtyp, size_of_dtyp)

webertj [Thu, 25 Nov 2004 19:25:03 +0100] rev 15334

exception CANNOT_INTERPRET removed (not needed anymore since the stlc_interpreter can interpret any term)

webertj [Thu, 25 Nov 2004 19:04:32 +0100] rev 15333

comments edited

webertj [Thu, 25 Nov 2004 14:44:52 +0100] rev 15332

added ZCHAFF_VERSION

webertj [Thu, 25 Nov 2004 14:38:37 +0100] rev 15331

added ZCHAFF_VERSION

paulson [Thu, 25 Nov 2004 12:39:12 +0100] rev 15330

webertj [Wed, 24 Nov 2004 19:51:33 +0100] rev 15329

Removed a "Matches are not exhaustive" warning

nipkow [Wed, 24 Nov 2004 11:13:00 +0100] rev 15328

mod because of change in finite set induction

isabelle