Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | fixed MaSh state load code so it works even if the facts are read in disorder | changeset | files |
Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | learn from minimized ATP proofs | changeset | files |
Wed, 18 Jul 2012 08:44:04 +0200 | blanchet | improved meshing of MaSh and Meng--Paulson if some MaSh suggestions are cut-off (the common case) | changeset | files |