wenzelm [Thu, 31 May 2001 20:52:51 +0200] rev 11355
tuned
paulson [Thu, 31 May 2001 18:28:23 +0200] rev 11354
examples files start from Main instead of various ZF theories
wenzelm [Thu, 31 May 2001 17:57:02 +0200] rev 11353
invent_names
bauerg [Thu, 31 May 2001 17:24:56 +0200] rev 11352
added HOL-CTL example;
oheimb [Thu, 31 May 2001 17:06:00 +0200] rev 11351
added Library/Nat_Infinity.thy and Library/Continuity.thy
oheimb [Thu, 31 May 2001 16:53:00 +0200] rev 11350
added FOCUS including the One-Element Buffer by Manfred Broy
oheimb [Thu, 31 May 2001 16:52:54 +0200] rev 11349
added Library/Nat_Infinity.thy and Library/Continuity.thy
oheimb [Thu, 31 May 2001 16:52:47 +0200] rev 11348
added stream length, map, and filter
oheimb [Thu, 31 May 2001 16:52:35 +0200] rev 11347
corrected ML names of definitions, added chain_shift
oheimb [Thu, 31 May 2001 16:52:32 +0200] rev 11346
corrected ML names of definitions
oheimb [Thu, 31 May 2001 16:52:20 +0200] rev 11345
improved iff_add_global, new function add_rules factoring out common behaviour
oheimb [Thu, 31 May 2001 16:52:02 +0200] rev 11344
streamlined addIffs/delIffs, added warnings