wenzelm [Sun, 11 Nov 2012 20:47:04 +0100] rev 51097
removed some historic material that is obsolete or rarely used;
wenzelm [Sun, 11 Nov 2012 20:31:46 +0100] rev 51096
tuned;
wenzelm [Sun, 11 Nov 2012 16:19:55 +0100] rev 51095
updated section on ordered rewriting;
wenzelm [Sat, 10 Nov 2012 20:16:16 +0100] rev 51094
updated subgoaler/solver/looper;
wenzelm [Thu, 08 Nov 2012 20:25:48 +0100] rev 51093
removed somewhat pointless historic material;
tuned;
wenzelm [Thu, 08 Nov 2012 20:20:38 +0100] rev 51092
tuned;
wenzelm [Thu, 08 Nov 2012 20:18:34 +0100] rev 51091
updated explanation of rewrite rules;
wenzelm [Wed, 07 Nov 2012 21:43:02 +0100] rev 51090
(re)moved old material about Simplifier;
wenzelm [Wed, 07 Nov 2012 16:45:33 +0100] rev 51089
some coverage of "resolution without lifting", which should be normally avoided;
wenzelm [Wed, 07 Nov 2012 16:09:39 +0100] rev 51088
removed somewhat pointless historic material;