| 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 |