isabelle: Changelog

haftmann [Mon, 13 Nov 2006 15:45:34 +0100] rev 21340

*** empty log message ***

Mon, 13 Nov 2006 15:43:24 +0100 added antiquotation theory

haftmann [Mon, 13 Nov 2006 15:43:24 +0100] rev 21339

added antiquotation theory

haftmann [Mon, 13 Nov 2006 15:43:16 +0100] rev 21338

cleaned up

haftmann [Mon, 13 Nov 2006 15:43:15 +0100] rev 21337

added theory antiquotation

haftmann [Mon, 13 Nov 2006 15:43:14 +0100] rev 21336

combinator for overwriting changes with warning

haftmann [Mon, 13 Nov 2006 15:43:13 +0100] rev 21335

added higher-order combinators for structured results

haftmann [Mon, 13 Nov 2006 15:43:12 +0100] rev 21334

adjusted name in generated code

haftmann [Mon, 13 Nov 2006 15:43:11 +0100] rev 21333

dropped LOrder dependency

haftmann [Mon, 13 Nov 2006 15:43:09 +0100] rev 21332

moved upwars in HOL theory graph

haftmann [Mon, 13 Nov 2006 15:43:08 +0100] rev 21331

added thy dependencies

isabelle