isabelle: Changelog

haftmann [Tue, 21 Dec 2010 09:18:29 +0100] rev 41346

canonical handling of theory context argument

haftmann [Tue, 21 Dec 2010 09:16:03 +0100] rev 41345

merged

haftmann [Tue, 21 Dec 2010 08:40:39 +0100] rev 41344

evaluator separating static and dynamic operations

haftmann [Tue, 21 Dec 2010 08:40:39 +0100] rev 41343

program is separate argument to serializer

haftmann [Tue, 21 Dec 2010 07:45:04 +0100] rev 41342

more explicit structure for serializer invocation

nipkow [Tue, 21 Dec 2010 08:38:03 +0100] rev 41341

merged

nipkow [Tue, 21 Dec 2010 08:37:48 +0100] rev 41340

tuned proof

haftmann [Tue, 21 Dec 2010 07:23:21 +0100] rev 41339

HOLogic.mk_id

blanchet [Tue, 21 Dec 2010 06:53:20 +0100] rev 41338

avoid weird symbols in path

blanchet [Tue, 21 Dec 2010 06:06:28 +0100] rev 41337

mechanism to keep SMT input and output files around in Mirabelle

isabelle