| Tue, 23 Sep 2008 17:28:58 +0200 |
wenzelm |
added fold_rev;
|
changeset |
files
|
| Tue, 23 Sep 2008 15:48:55 +0200 |
wenzelm |
added del_node, which is more efficient for sparse graphs;
|
changeset |
files
|
| Tue, 23 Sep 2008 15:48:54 +0200 |
wenzelm |
IntGraph.del_node;
|
changeset |
files
|
| Tue, 23 Sep 2008 15:48:53 +0200 |
wenzelm |
join_results: special case for empty list, works without multithreading;
|
changeset |
files
|
| Tue, 23 Sep 2008 15:48:52 +0200 |
wenzelm |
added dest_deriv, removed external type deriv;
|
changeset |
files
|
| Tue, 23 Sep 2008 15:48:51 +0200 |
wenzelm |
added conditional add_oracles, keep oracles_of_proof private;
|
changeset |
files
|
| Tue, 23 Sep 2008 15:48:50 +0200 |
wenzelm |
Thm.proof_of;
|
changeset |
files
|
| Mon, 22 Sep 2008 23:04:35 +0200 |
berghofe |
Added coherent logic prover.
|
changeset |
files
|
| Mon, 22 Sep 2008 23:01:54 +0200 |
berghofe |
New prover for coherent logic.
|
changeset |
files
|
| Mon, 22 Sep 2008 23:00:15 +0200 |
berghofe |
Added setup for coherent logic prover.
|
changeset |
files
|
| Mon, 22 Sep 2008 22:59:35 +0200 |
berghofe |
Added examples for coherent logic prover.
|
changeset |
files
|
| Mon, 22 Sep 2008 22:59:11 +0200 |
berghofe |
Examples for coherent logic prover.
|
changeset |
files
|