isabelle: Changelog

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

huffman [Fri, 01 Jul 2005 01:50:46 +0200] rev 16625

renamed flatdom2monofun to flatdom_strict2mono

huffman [Fri, 01 Jul 2005 01:50:07 +0200] rev 16624

cleaned up; reorganized and added section headings

huffman [Fri, 01 Jul 2005 01:48:37 +0200] rev 16623

cleaned up; added adm_less to adm_lemmas; added subsection headings

isabelle