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 |