| 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 |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Fri, 19 Feb 2010 16:11:45 +0100 | wenzelm | renamed Simplifier.theory_context to Simplifier.global_context to emphasize that this is not the real thing; | file | diff | annotate |
| Sun, 07 Feb 2010 19:33:34 +0100 | wenzelm | renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation; | file | diff | annotate |
| Sat, 17 Oct 2009 00:52:37 +0200 | wenzelm | explicitly qualify Drule.standard; | file | diff | annotate |