Tue, 20 May 2014 09:38:39 +0200 | blanchet | better way to take invisible facts into account than 'island' business | changeset | files |
Tue, 20 May 2014 02:47:23 +0200 | blanchet | cleaner handling of learned proofs | changeset | files |
Tue, 20 May 2014 00:13:31 +0200 | blanchet | implemented learning of single proofs in SML MaSh | changeset | files |