| 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 |