isabelle: Changelog

bulwahn [Thu, 29 Oct 2009 13:59:37 +0100] rev 33330

encapsulating records with datatype constructors and adding type annotations to make SML/NJ happy

bulwahn [Wed, 28 Oct 2009 12:29:03 +0100] rev 33329

improved mode parser; added mode annotations to examples

bulwahn [Wed, 28 Oct 2009 12:29:02 +0100] rev 33328

moved datatype mode and string functions to the auxillary structure

bulwahn [Wed, 28 Oct 2009 12:29:01 +0100] rev 33327

improving mode parsing in the predicate compiler

bulwahn [Wed, 28 Oct 2009 12:29:00 +0100] rev 33326

improved handling of alternative rules; added test cases for alternative rules; normalized tracing in the predicate compiler

paulson [Thu, 29 Oct 2009 16:22:14 +0000] rev 33325

merged

paulson [Thu, 29 Oct 2009 16:21:43 +0000] rev 33324

Tidied up some very ugly proofs

nipkow [Thu, 29 Oct 2009 15:47:03 +0100] rev 33323

small fixes

haftmann [Thu, 29 Oct 2009 13:37:55 +0100] rev 33322

merged

haftmann [Thu, 29 Oct 2009 11:41:39 +0100] rev 33321

join entries properly on theory merge

isabelle