isabelle: Changelog

paulson [Thu, 10 Dec 2009 17:34:50 +0000] rev 34056

merged

paulson [Thu, 10 Dec 2009 17:34:18 +0000] rev 34055

streamlined proofs

paulson [Thu, 10 Dec 2009 17:34:09 +0000] rev 34054

fixed typo

wenzelm [Thu, 10 Dec 2009 22:28:55 +0100] rev 34053

merged

boehmes [Thu, 10 Dec 2009 18:10:59 +0100] rev 34052

only invoke metisFT if metis failed

bulwahn [Thu, 10 Dec 2009 11:58:26 +0100] rev 34051

added Imperative_HOL examples; added tail-recursive combinator for monadic heap functions; adopted code generation of references; added lemmas

haftmann [Wed, 09 Dec 2009 21:33:50 +0100] rev 34050

merged

haftmann [Wed, 09 Dec 2009 16:46:04 +0100] rev 34049

each import resides in its own line

haftmann [Wed, 09 Dec 2009 16:46:03 +0100] rev 34048

using existing lattice classes

wenzelm [Thu, 10 Dec 2009 16:11:07 +0100] rev 34047

added get_data;

isabelle