| Wed, 01 Jan 2014 14:29:22 +0100 | wenzelm | clarified simplifier context; | file | diff | annotate |
| Sat, 14 Dec 2013 17:28:05 +0100 | wenzelm | proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; | file | diff | annotate |
| Mon, 09 Dec 2013 09:44:57 +0100 | blanchet | tuning -- moved ML files to subdirectory | file | diff | annotate | base |