Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | don't relearn old facts in Isar mode | changeset | files |
Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | took out CVC3 again -- there seems to be issues with the server version of CVC3 + minor tweaks | changeset | files |