Thu, 31 May 2001 18:28:23 +0200 examples files start from Main instead of various ZF theories
paulson [Thu, 31 May 2001 18:28:23 +0200] rev 11354
examples files start from Main instead of various ZF theories
Thu, 31 May 2001 17:57:02 +0200 invent_names
wenzelm [Thu, 31 May 2001 17:57:02 +0200] rev 11353
invent_names
Thu, 31 May 2001 17:24:56 +0200 added HOL-CTL example;
bauerg [Thu, 31 May 2001 17:24:56 +0200] rev 11352
added HOL-CTL example;
Thu, 31 May 2001 17:06:00 +0200 added Library/Nat_Infinity.thy and Library/Continuity.thy
oheimb [Thu, 31 May 2001 17:06:00 +0200] rev 11351
added Library/Nat_Infinity.thy and Library/Continuity.thy
Thu, 31 May 2001 16:53:00 +0200 added FOCUS including the One-Element Buffer by Manfred Broy
oheimb [Thu, 31 May 2001 16:53:00 +0200] rev 11350
added FOCUS including the One-Element Buffer by Manfred Broy
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
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip