| Tue, 17 Aug 2010 19:36:39 +0200 | haftmann | more antiquotations | file | diff | annotate |
| Fri, 30 Apr 2010 18:06:29 +0200 | wenzelm | proper context for rule_by_tactic; | file | diff | annotate |
| Thu, 29 Apr 2010 22:56:32 +0200 | wenzelm | proper context for mksimps etc. -- via simpset of the running Simplifier; | file | diff | annotate |