| Wed, 29 Nov 2006 15:44:46 +0100 | wenzelm | simplified method setup; | changeset | files |
| Wed, 29 Nov 2006 13:59:52 +0100 | webertj | clauses sorted according to term order (significant speedup in some cases) | changeset | files |
| Wed, 29 Nov 2006 04:11:18 +0100 | wenzelm | Assumption.assms_of: cterm; | changeset | files |
| Wed, 29 Nov 2006 04:11:17 +0100 | wenzelm | Element.generalize_facts; | changeset | files |
| Wed, 29 Nov 2006 04:11:16 +0100 | wenzelm | removed export_standard_morphism; | changeset | files |
| Wed, 29 Nov 2006 04:11:15 +0100 | wenzelm | simplified add_thmss; | changeset | files |
| 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 |
| 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 |
| Tue, 28 Nov 2006 11:02:16 +0100 | haftmann | added strict_subset | changeset | files |
| Tue, 28 Nov 2006 00:35:28 +0100 | wenzelm | added add_fixed; | changeset | files |
| Tue, 28 Nov 2006 00:35:27 +0100 | wenzelm | simplified '?' operator; | changeset | files |
| Tue, 28 Nov 2006 00:35:26 +0100 | wenzelm | simplified '?' operator; | changeset | files |
| Tue, 28 Nov 2006 00:35:25 +0100 | wenzelm | simplified '?' operator; | changeset | files |
| Tue, 28 Nov 2006 00:35:23 +0100 | wenzelm | added burrow_fact; | changeset | files |
| Tue, 28 Nov 2006 00:35:21 +0100 | wenzelm | dest_term: strip_imp_concl; | changeset | files |
| Tue, 28 Nov 2006 00:35:18 +0100 | wenzelm | simplified '?' operator; | changeset | files |
| Mon, 27 Nov 2006 23:48:10 +0100 | mengj | Added in another function clause_name_of. | changeset | files |
| Mon, 27 Nov 2006 23:47:42 +0100 | mengj | Goals in clause form are sent to the relevance filter. | changeset | files |
| Mon, 27 Nov 2006 21:07:00 +0100 | aspinall | Call the right inform_file_processed function on <closefile> | changeset | files |
| Mon, 27 Nov 2006 18:18:25 +0100 | paulson | Tidied code. Bool constructor is not needed. | changeset | files |
| Mon, 27 Nov 2006 18:18:05 +0100 | paulson | tidied code | changeset | files |
| Mon, 27 Nov 2006 17:35:50 +0100 | webertj | outermost universal quantifiers are stripped | changeset | files |
| Mon, 27 Nov 2006 17:13:10 +0100 | webertj | typo fixed | changeset | files |