| Sun, 18 Oct 2015 21:30:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 20:05:34 +0100 |
wenzelm |
renamed "pairself" to "apply2", in accordance to @{apply 2};
|
file |
diff |
annotate
|
| Sun, 21 Sep 2014 20:14:04 +0200 |
wenzelm |
more standard Isabelle/ML operations;
|
file |
diff |
annotate
|
| Fri, 12 Sep 2014 13:27:33 +0200 |
fleury |
Changing the way the dependencies are managed.
|
file |
diff |
annotate
|
| Wed, 27 Aug 2014 08:41:12 +0200 |
blanchet |
avoid 'PolyML.makestring'
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 14:03:58 +0200 |
fleury |
Improving robustness and indentation corrections.
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 14:03:13 +0200 |
fleury |
Changing the role of rule "tmp_ite_elim" of the SMT solver veriT to Lemma.
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 14:03:13 +0200 |
fleury |
imported patch satallax_skolemization_in_tree_part
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 14:03:12 +0200 |
fleury |
imported patch satallax_proof_support_Sledgehammer
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 14:03:12 +0200 |
fleury |
Basic support for the higher-order ATP Satallax.
|
file |
diff |
annotate
|