Wed, 29 Nov 2006 04:11:14 +0100 | wenzelm | added facts_map; | changeset | files |
Wed, 29 Nov 2006 04:11:13 +0100 | wenzelm | added map/burrow_facts; | changeset | files |
Wed, 29 Nov 2006 04:11:12 +0100 | wenzelm | COMP_INCR; | changeset | files |
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 |