isabelle: Changelog

huffman [Fri, 08 Jul 2005 02:41:35 +0200] rev 16754

renamed upE1 to upE

huffman [Fri, 08 Jul 2005 02:41:19 +0200] rev 16753

define 'a u with datatype package; removed obsolete lemmas; renamed upE1 to upE and Exh_Up1 to Exh_Up; cleaned up

huffman [Fri, 08 Jul 2005 02:39:53 +0200] rev 16752

added lemmas sinl_defined_iff sinr_defined_iff, sinl_eq_sinr, sinr_eq_sinl; added more simp rules; cleaned up

huffman [Fri, 08 Jul 2005 02:38:05 +0200] rev 16751

add lemma eq_sprod

huffman [Fri, 08 Jul 2005 02:37:42 +0200] rev 16750

add lemma eq_cprod

huffman [Thu, 07 Jul 2005 21:41:08 +0200] rev 16749

removed obsolete continuity theorems

huffman [Thu, 07 Jul 2005 21:22:15 +0200] rev 16748

define lift type using pcpodef; cleaned up

huffman [Thu, 07 Jul 2005 20:41:12 +0200] rev 16747

cleaned up

huffman [Thu, 07 Jul 2005 19:55:46 +0200] rev 16746

fixes to work with UU_reorient_simproc

huffman [Thu, 07 Jul 2005 19:40:00 +0200] rev 16745

fixes to work with UU_reorient_simproc

isabelle