wenzelm [Tue, 06 Oct 2015 15:39:00 +0200] rev 61338
added 'proposition' command;
wenzelm [Tue, 06 Oct 2015 15:14:28 +0200] rev 61337
fewer aliases for toplevel theorem statements;
wenzelm [Tue, 06 Oct 2015 13:31:44 +0200] rev 61336
just one theorem kind, which is legacy anyway;
wenzelm [Tue, 06 Oct 2015 11:29:00 +0200] rev 61335
pretty_const: proper local name space;
tuned;
traytel [Tue, 06 Oct 2015 12:01:07 +0200] rev 61334
collect the names from goals in favor of fragile exports
blanchet [Tue, 06 Oct 2015 11:50:23 +0200] rev 61333
compile
blanchet [Tue, 06 Oct 2015 11:34:07 +0200] rev 61332
tuning
blanchet [Tue, 06 Oct 2015 09:27:31 +0200] rev 61331
avoid legacy syntax
blanchet [Mon, 05 Oct 2015 23:03:50 +0200] rev 61330
further improved fine point w.r.t. replaying in the presence of chained facts and a non-empty meta-quantifier prefix + avoid printing internal names in backquotes
blanchet [Mon, 05 Oct 2015 21:46:48 +0200] rev 61329
added "!=" (disequality) as a TPTP binary operator, since it pops up in LEO-II proofs