| Thu, 29 Nov 2001 21:12:37 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 29 Nov 2001 20:02:23 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 29 Nov 2001 19:03:03 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 29 Nov 2001 17:39:23 +0100 | paulson | minor textual tweaks | changeset | files |
| Thu, 29 Nov 2001 14:12:42 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 29 Nov 2001 13:33:45 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 29 Nov 2001 01:51:38 +0100 | wenzelm | export primitive netpairs; | changeset | files |
| Thu, 29 Nov 2001 01:51:06 +0100 | wenzelm | RuleContext.intro_query_local; | changeset | files |
| Thu, 29 Nov 2001 01:50:50 +0100 | wenzelm | rule context and attributes moved to rule_context.ML; | changeset | files |
| Thu, 29 Nov 2001 01:50:19 +0100 | wenzelm | qualify_elem: do not qualify empty names (""); | changeset | files |
| Thu, 29 Nov 2001 01:49:44 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Nov 2001 00:45:12 +0100 | wenzelm | added deletion of rules; | changeset | files |