paulson [Fri, 30 Nov 2001 12:18:14 +0100] rev 12333
minor tweaks
nipkow [Thu, 29 Nov 2001 21:12:37 +0100] rev 12332
*** empty log message ***
nipkow [Thu, 29 Nov 2001 20:02:23 +0100] rev 12331
*** empty log message ***
nipkow [Thu, 29 Nov 2001 19:03:03 +0100] rev 12330
*** empty log message ***
paulson [Thu, 29 Nov 2001 17:39:23 +0100] rev 12329
minor textual tweaks
nipkow [Thu, 29 Nov 2001 14:12:42 +0100] rev 12328
*** empty log message ***
nipkow [Thu, 29 Nov 2001 13:33:45 +0100] rev 12327
*** empty log message ***
wenzelm [Thu, 29 Nov 2001 01:51:38 +0100] rev 12326
export primitive netpairs;
activate attributes;
wenzelm [Thu, 29 Nov 2001 01:51:06 +0100] rev 12325
RuleContext.intro_query_local;
wenzelm [Thu, 29 Nov 2001 01:50:50 +0100] rev 12324
rule context and attributes moved to rule_context.ML;