Sat, 16 Jul 2011 20:52:41 +0200 | wenzelm | moved bash operations to Isabelle_System (cf. Scala version); | file | diff | annotate |
Thu, 14 Jul 2011 16:50:05 +0200 | blanchet | move lambda translation option from ATP to Sledgehammer, to avoid accidentally breaking Metis (its reconstruction code can only deal with combinators) | file | diff | annotate |
Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | cleanly separate TPTP related files from other examples | file | diff | annotate | base |