Tue, 10 Apr 2012 20:42:17 +0200 | wenzelm | tuned future priorities: print 0, goal ~1, execute ~2; | changeset | files |
Tue, 10 Apr 2012 16:50:30 +0200 | wenzelm | updated for Poly/ML SVN 1476; | changeset | files |
Tue, 10 Apr 2012 11:42:15 +0200 | wenzelm | some coverage of HOL/TPTP; | changeset | files |