isabelle: Changelog

nipkow [Thu, 27 Aug 2009 18:45:39 +0200] rev 32424

New example: IMP

nipkow [Thu, 27 Aug 2009 13:09:25 +0200] rev 32423

merged

nipkow [Thu, 27 Aug 2009 11:41:07 +0200] rev 32422

code generator: quantifiers over {_.._::int} and {_..<_::nat} are now translated into (tail recursive) loops - no list is built.

wenzelm [Thu, 27 Aug 2009 17:09:37 +0200] rev 32421

more stats;

wenzelm [Thu, 27 Aug 2009 17:00:03 +0200] rev 32420

tuned tracing;

wenzelm [Thu, 27 Aug 2009 11:54:17 +0200] rev 32419

merged

wenzelm [Thu, 27 Aug 2009 11:54:05 +0200] rev 32418

avoid macbroy21 for now -- hardware problems;

nipkow [Thu, 27 Aug 2009 09:28:52 +0200] rev 32417

tuned code generation for lists

nipkow [Wed, 26 Aug 2009 19:54:19 +0200] rev 32416

merged

nipkow [Wed, 26 Aug 2009 19:54:01 +0200] rev 32415

got rid of complicated class finite_intvl_succ and defined "upto" directly on int, the only instance of the class.

isabelle