| Thu, 30 Nov 2006 14:17:27 +0100 | wenzelm | added zero_var_indexes_list; | changeset | files |
| Thu, 30 Nov 2006 14:17:25 +0100 | wenzelm | Goal.norm/close_result; | changeset | files |
| Thu, 30 Nov 2006 14:17:22 +0100 | wenzelm | simplified syntax for 'definition', 'abbreviation'; | changeset | files |
| Wed, 29 Nov 2006 23:33:09 +0100 | wenzelm | *** bad commit -- reverted to previous version *** | changeset | files |
| Wed, 29 Nov 2006 23:28:13 +0100 | wenzelm | removed export_standard_morphism; | changeset | files |
| Wed, 29 Nov 2006 23:28:11 +0100 | wenzelm | simplified add_thmss; | changeset | files |
| Wed, 29 Nov 2006 23:28:10 +0100 | wenzelm | added map/burrow_facts; | changeset | files |
| Wed, 29 Nov 2006 23:28:08 +0100 | wenzelm | added INCR_COMP, COMP_INCR; | changeset | files |
| Wed, 29 Nov 2006 15:47:05 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 29 Nov 2006 15:45:02 +0100 | wenzelm | reworked notes: towards proper import/export of proof terms; | changeset | files |
| Wed, 29 Nov 2006 15:45:00 +0100 | wenzelm | removed export_standard_morphism; | changeset | files |
| Wed, 29 Nov 2006 15:44:59 +0100 | wenzelm | renamed SIMPLE_METHOD' to SIMPLE_METHOD''; | changeset | files |
| Wed, 29 Nov 2006 15:44:58 +0100 | wenzelm | added export; | changeset | files |
| Wed, 29 Nov 2006 15:44:57 +0100 | wenzelm | tuned spaces/comments; | changeset | files |
| Wed, 29 Nov 2006 15:44:56 +0100 | wenzelm | simplified method setup; | changeset | files |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | changeset | files |
| 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 |