isabelle: Changelog

kleing [Tue, 30 Nov 2004 06:50:03 +0100] rev 15343

blast_tac -> blast in comment (fix latex error)

nipkow [Mon, 29 Nov 2004 18:49:35 +0100] rev 15342

*** empty log message ***

paulson [Mon, 29 Nov 2004 14:02:55 +0100] rev 15341

converted to Isar script, simplifying some results

nipkow [Mon, 29 Nov 2004 11:25:32 +0100] rev 15340

obselete

nipkow [Mon, 29 Nov 2004 11:23:48 +0100] rev 15339

onsolete

nipkow [Mon, 29 Nov 2004 11:18:16 +0100] rev 15338

obsolete

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)

isabelle