blanchet [Tue, 24 May 2011 10:01:00 +0200] rev 42967
tuning
blanchet [Tue, 24 May 2011 10:00:38 +0200] rev 42966
more work on parsing LEO-II proofs without lambdas
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42965
slightly gracefuller handling of LEO-II and Satallax output
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42964
document primitive support for LEO-II and Satallax
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42963
identify HOL functions with THF functions
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42962
started adding support for THF output (but no lambdas)
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42961
eliminated more code duplication in Nitrox
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42960
reduce code duplication in Nitrox
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42959
use \<emdash> rather than \<midarrow>
blanchet [Tue, 24 May 2011 00:01:33 +0200] rev 42958
fixed de Bruijn index bug