Tue, 12 Dec 2006 21:25:14 +0100 | wenzelm | tuned; | changeset | files |
Tue, 12 Dec 2006 21:25:13 +0100 | wenzelm | add_abbrev: removed Assumption.add_assms (danger of inconsistent naming); | changeset | files |
Tue, 12 Dec 2006 20:50:23 +0100 | wenzelm | updated; | changeset | files |