| Sat, 22 Mar 2014 16:50:52 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 15:58:27 +0100 | wenzelm | avoid hard-wired theory names; | changeset | files |
| Sat, 22 Mar 2014 08:37:43 +0100 | haftmann | generalized and strengthened cong rules on compound operators, similar to 1ed737a98198 | changeset | files |