| Tue, 19 Jun 2007 23:15:51 +0200 | wenzelm | added with_subgoal; | changeset | files |
| Tue, 19 Jun 2007 23:15:49 +0200 | wenzelm | balanced conjunctions; | changeset | files |
| Tue, 19 Jun 2007 23:15:47 +0200 | wenzelm | balanced conjunctions; | changeset | files |
| Tue, 19 Jun 2007 23:15:43 +0200 | wenzelm | added General/balanced_tree.ML; | changeset | files |
| Tue, 19 Jun 2007 23:15:38 +0200 | wenzelm | BalancedTree; | changeset | files |
| Tue, 19 Jun 2007 23:15:27 +0200 | wenzelm | balanced conjunctions; | changeset | files |
| Tue, 19 Jun 2007 23:15:23 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 19 Jun 2007 18:00:49 +0200 | krauss | generalized proofs so that call graphs can have any node type. | changeset | files |