blanchet [Tue, 24 Jun 2014 12:36:45 +0200] rev 57299
optimize log
blanchet [Tue, 24 Jun 2014 12:35:57 +0200] rev 57298
enable TF-IDF
blanchet [Tue, 24 Jun 2014 12:35:49 +0200] rev 57297
added another experimental engine
blanchet [Tue, 24 Jun 2014 12:35:43 +0200] rev 57296
tweaked experimental setup
blanchet [Tue, 24 Jun 2014 08:20:00 +0200] rev 57295
changed order of facts so that 'name_tabs' has the same order everywhere (which affects unaliasing)
blanchet [Tue, 24 Jun 2014 08:19:58 +0200] rev 57294
use strings to communicate with external process, to ease debugging
blanchet [Tue, 24 Jun 2014 08:19:57 +0200] rev 57293
added 'dummy_thf_ml' prover for experiments with HOLyHammer
blanchet [Tue, 24 Jun 2014 08:19:56 +0200] rev 57292
phantoms may also occur in THF1
blanchet [Tue, 24 Jun 2014 08:19:55 +0200] rev 57291
added experimental MaSh engine
blanchet [Tue, 24 Jun 2014 08:19:55 +0200] rev 57290
move method silencing code closer to the methods it is trying to silence, to reduce bad side-effects