isabelle: Changelog

berghofe [Fri, 01 Jul 2005 13:56:34 +0200] rev 16635

Moved some code lemmas from Main to Nat.

berghofe [Fri, 01 Jul 2005 13:54:57 +0200] rev 16634

Adapted to new interface of code generator.

berghofe [Fri, 01 Jul 2005 13:54:12 +0200] rev 16633

Implemented trick (due to Tobias Nipkow) for fine-tuning simplification of premises of congruence rules.

berghofe [Fri, 01 Jul 2005 13:51:11 +0200] rev 16632

Added strong_setsum_cong and strong_setprod_cong.

huffman [Fri, 01 Jul 2005 04:32:33 +0200] rev 16631

defaultsort pcpo

huffman [Fri, 01 Jul 2005 04:09:27 +0200] rev 16630

added theorem lift_definedE; moved cont_if to Cont.thy

huffman [Fri, 01 Jul 2005 04:02:22 +0200] rev 16629

added tactic cont_tac

huffman [Fri, 01 Jul 2005 04:00:23 +0200] rev 16628

remove uses of sign_of

huffman [Fri, 01 Jul 2005 02:35:24 +0200] rev 16627

cleaned up

huffman [Fri, 01 Jul 2005 02:30:59 +0200] rev 16626

cleaned up

isabelle