Thu, 31 May 2001 16:52:54 +0200 added Library/Nat_Infinity.thy and Library/Continuity.thy
oheimb [Thu, 31 May 2001 16:52:54 +0200] rev 11349
added Library/Nat_Infinity.thy and Library/Continuity.thy
Thu, 31 May 2001 16:52:47 +0200 added stream length, map, and filter
oheimb [Thu, 31 May 2001 16:52:47 +0200] rev 11348
added stream length, map, and filter
Thu, 31 May 2001 16:52:35 +0200 corrected ML names of definitions, added chain_shift
oheimb [Thu, 31 May 2001 16:52:35 +0200] rev 11347
corrected ML names of definitions, added chain_shift
Thu, 31 May 2001 16:52:32 +0200 corrected ML names of definitions
oheimb [Thu, 31 May 2001 16:52:32 +0200] rev 11346
corrected ML names of definitions
Thu, 31 May 2001 16:52:20 +0200 improved iff_add_global, new function add_rules factoring out common behaviour
oheimb [Thu, 31 May 2001 16:52:20 +0200] rev 11345
improved iff_add_global, new function add_rules factoring out common behaviour
Thu, 31 May 2001 16:52:02 +0200 streamlined addIffs/delIffs, added warnings
oheimb [Thu, 31 May 2001 16:52:02 +0200] rev 11344
streamlined addIffs/delIffs, added warnings
Thu, 31 May 2001 16:51:26 +0200 replaced Sel_injective_cprod by new injective_fst_snd
oheimb [Thu, 31 May 2001 16:51:26 +0200] rev 11343
replaced Sel_injective_cprod by new injective_fst_snd
Thu, 31 May 2001 16:51:14 +0200 added lub_range_mono and lub_range_shift
oheimb [Thu, 31 May 2001 16:51:14 +0200] rev 11342
added lub_range_mono and lub_range_shift
Thu, 31 May 2001 16:50:17 +0200 added chain_monofun
oheimb [Thu, 31 May 2001 16:50:17 +0200] rev 11341
added chain_monofun
Thu, 31 May 2001 16:50:16 +0200 added same_fstI as safe intro rule
oheimb [Thu, 31 May 2001 16:50:16 +0200] rev 11340
added same_fstI as safe intro rule
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip