| Wed, 29 Nov 2006 04:11:11 +0100 | wenzelm | added INCR_COMP, COMP_INCR; | changeset | files |
| Wed, 29 Nov 2006 04:11:10 +0100 | wenzelm | assms_of: cterm; | changeset | files |
| Wed, 29 Nov 2006 04:11:09 +0100 | wenzelm | simplified Logic.count_prems; | changeset | files |
| Wed, 29 Nov 2006 04:11:06 +0100 | wenzelm | tuned proofs; | changeset | files |
| Tue, 28 Nov 2006 21:59:45 +0100 | isatest | go back to fixed atbroy51, fix at-poly-e path settings | changeset | files |
| Tue, 28 Nov 2006 16:19:01 +0100 | paulson | Removed the references for counting combinators. Instead they are counted in actual clauses. | changeset | files |