| Thu, 17 May 2012 15:23:00 +0200 | wenzelm | tuned error -- reduce potential for confusion in a higher-level context, e.g. partial checking of theory sub-graph; | changeset | files |
| Fri, 11 May 2012 13:41:30 +0200 | berghofe | Fixed disambiguation of names (cf. 5759ecd5c905) | changeset | files |