| Sun, 15 Dec 2013 15:10:14 +0100 | haftmann | more algebraic terminology for theories about big operators | changeset | files |
| Sat, 14 Dec 2013 20:46:36 +0100 | wenzelm | more antiquotations; | changeset | files |
| 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 |