nipkow [Fri, 17 Aug 2012 08:56:08 +0200] rev 49865
fixed lemmas
nipkow [Thu, 16 Aug 2012 15:08:42 +0200] rev 49864
abstracted lemmas
wenzelm [Fri, 17 Aug 2012 19:08:55 +0200] rev 49863
updated to new init_components, hoping that mira can digest that;
wenzelm [Fri, 17 Aug 2012 19:07:14 +0200] rev 49862
some explanations on component categories;
wenzelm [Fri, 17 Aug 2012 18:04:49 +0200] rev 49861
specific cygwin components;
wenzelm [Fri, 17 Aug 2012 17:37:27 +0200] rev 49860
obsolete;
wenzelm [Fri, 17 Aug 2012 17:35:07 +0200] rev 49859
some explanations on isabelle components;
wenzelm [Fri, 17 Aug 2012 17:52:10 +0200] rev 49858
some grouping of components;
wenzelm [Fri, 17 Aug 2012 17:48:26 +0200] rev 49857
renamed components to components_old, to make room for some directory of the same name;
wenzelm [Fri, 17 Aug 2012 15:05:57 +0200] rev 49856
minor robustification;