| Thu, 26 Aug 2010 17:01:12 +0200 | wenzelm | theory data merge: prefer left side uniformly; | changeset | files |
| Thu, 26 Aug 2010 16:56:45 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 26 Aug 2010 16:34:10 +0200 | wenzelm | simplification/standardization of some theory data; | changeset | files |