Wed, 25 Jan 2012 19:04:38 +0100 updated repetition tacticals;
wenzelm [Wed, 25 Jan 2012 19:04:38 +0100] rev 46259
updated repetition tacticals; discontinued odd trace_REPEAT (assumes sequential TTY loop);
Wed, 25 Jan 2012 18:18:59 +0100 updated THEN, ORELSE, APPEND, and derivatives;
wenzelm [Wed, 25 Jan 2012 18:18:59 +0100] rev 46258
updated THEN, ORELSE, APPEND, and derivatives; discontinued obscure INTLEAVE;
Wed, 25 Jan 2012 16:16:20 +0100 removed obscure/outdated material;
wenzelm [Wed, 25 Jan 2012 16:16:20 +0100] rev 46257
removed obscure/outdated material;
Wed, 25 Jan 2012 15:39:08 +0100 updated RSN, RL, RLN, MRS;
wenzelm [Wed, 25 Jan 2012 15:39:08 +0100] rev 46256
updated RSN, RL, RLN, MRS; discontinued obscure MRL;
Wed, 25 Jan 2012 14:13:59 +0100 removed obscure/outdated material;
wenzelm [Wed, 25 Jan 2012 14:13:59 +0100] rev 46255
removed obscure/outdated material;
Wed, 25 Jan 2012 13:31:56 +0100 tuned;
wenzelm [Wed, 25 Jan 2012 13:31:56 +0100] rev 46254
tuned;
Wed, 25 Jan 2012 13:24:57 +0100 more on Logic.all/mk_implies etc.;
wenzelm [Wed, 25 Jan 2012 13:24:57 +0100] rev 46253
more on Logic.all/mk_implies etc.;
Thu, 19 Jan 2012 16:16:13 +0100 reduce AFP test by many hours;
wenzelm [Thu, 19 Jan 2012 16:16:13 +0100] rev 46252
reduce AFP test by many hours;
Thu, 19 Jan 2012 09:51:42 +0100 added termination of narrowing
nipkow [Thu, 19 Jan 2012 09:51:42 +0100] rev 46251
added termination of narrowing
Wed, 18 Jan 2012 22:06:31 +0100 really need 64bit here;
wenzelm [Wed, 18 Jan 2012 22:06:31 +0100] rev 46250
really need 64bit here; prefer explicit version information for contrib;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip