| Sat, 14 Dec 2013 17:28:05 +0100 | wenzelm | proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; | changeset | files |
| Fri, 13 Dec 2013 23:53:02 +0100 | wenzelm | merged | changeset | files |
| Fri, 13 Dec 2013 20:20:15 +0100 | wenzelm | maintain morphism names for diagnostic purposes; | changeset | files |