wenzelm [Fri, 14 Dec 2012 12:40:07 +0100] rev 51539
merged
blanchet [Thu, 13 Dec 2012 23:47:01 +0100] rev 51538
get rid of some junk facts in the MaSh evaluation driver
blanchet [Thu, 13 Dec 2012 23:22:10 +0100] rev 51537
generate original name as a comment in SPASS problems as well
blanchet [Thu, 13 Dec 2012 22:49:08 +0100] rev 51536
generate comments with original names for debugging
blanchet [Thu, 13 Dec 2012 22:49:07 +0100] rev 51535
use MaSh nicknames in ATP problem files to facilitate gathering of statistics
blanchet [Thu, 13 Dec 2012 22:49:06 +0100] rev 51534
parallelized MaSh exporter
traytel [Thu, 13 Dec 2012 15:39:07 +0100] rev 51533
short library for streams
traytel [Thu, 13 Dec 2012 15:36:08 +0100] rev 51532
renamed theory
Christian Sternagel [Thu, 13 Dec 2012 13:11:38 +0100] rev 51531
renamed "emb" to "list_hembeq";
make "list_hembeq" reflexive independent of the base order;
renamed "sub" to "sublisteq";
dropped "transp_on" (state transitivity explicitly instead);
no need to hide "sub" after renaming;
replaced some ASCII symbols by proper Isabelle symbols;
NEWS
blanchet [Thu, 13 Dec 2012 09:21:45 +0100] rev 51530
shared bad MaSh query detection between MePo and MaSh, so that the generated files mirror each other