isabelle: Changelog

haftmann [Tue, 13 Apr 2010 11:30:12 +0200] rev 36122

more accurate pattern match

haftmann [Tue, 13 Apr 2010 11:13:52 +0200] rev 36121

dropped dead code

huffman [Mon, 12 Apr 2010 19:29:16 -0700] rev 36120

update domain package examples

huffman [Mon, 12 Apr 2010 16:21:27 -0700] rev 36119

remove dead code

huffman [Mon, 12 Apr 2010 16:04:32 -0700] rev 36118

share more code between definitional and axiomatic domain packages

huffman [Mon, 12 Apr 2010 15:05:42 -0700] rev 36117

for axiomatic domain package, declare types and arities in domain_axioms.ML instead of domain_extender.ML

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 12 Apr 2010 13:19:28 +0200] rev 36116

Changed the type of Quot_True, so that it is an HOL constant.

haftmann [Sun, 11 Apr 2010 17:46:42 +0200] rev 36115

removed rather toyish tree

haftmann [Sun, 11 Apr 2010 17:40:43 +0200] rev 36114

updated keywords

haftmann [Sun, 11 Apr 2010 16:51:36 +0200] rev 36113

merged

isabelle