Thu, 28 Jul 2011 11:43:45 +0200 |
make SML/NJ happy
|
file | diff | annotate |
Sun, 17 Jul 2011 14:12:45 +0200 |
ensure that the lambda translation procedure is called only once with all the facts, which is necessary for soundness of lambda-lifting (freshness of new names)
|
file | diff | annotate |
Sun, 17 Jul 2011 14:11:35 +0200 |
pass kind to lambda-translation function
|
file | diff | annotate |
Sun, 17 Jul 2011 14:11:34 +0200 |
move more lambda-handling logic to Sledgehammer, from ATP module, for formal dependency reasons
|
file | diff | annotate |
Sat, 16 Jul 2011 20:52:41 +0200 |
moved bash operations to Isabelle_System (cf. Scala version);
|
file | diff | annotate |
Thu, 14 Jul 2011 16:50:05 +0200 |
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 |
cleanly separate TPTP related files from other examples
|
file | diff | annotate | base |