Mon, 03 Dec 2012 18:13:23 +0100 | hoelzl | add check to Cooper's algorithm that left-hand of dvd is a numeral | changeset | files |
Mon, 03 Dec 2012 17:18:59 +0100 | wenzelm | merged | changeset | files |
Mon, 03 Dec 2012 13:24:55 +0100 | blanchet | robust writing of MaSh state -- better drop learning data than cause other problems in Sledgehammer | changeset | files |