| Thu, 23 Nov 2006 17:52:48 +0100 | urbanc | fixed some typos | changeset | files |
| Thu, 23 Nov 2006 14:11:49 +0100 | urbanc | tuned the proof of the strong induction principle | changeset | files |
| Thu, 23 Nov 2006 13:32:19 +0100 | webertj | typo in comment fixed | changeset | files |
| Thu, 23 Nov 2006 11:39:11 +0100 | aspinall | Add retractfile to supported pgip commands | changeset | files |
| Thu, 23 Nov 2006 11:24:33 +0100 | aspinall | PGIP: add retractfile. Be stricter in file open/close protocol. | changeset | files |
| Thu, 23 Nov 2006 00:52:23 +0100 | wenzelm | replaced Args.map_values/Element.map_ctxt_values by general morphism application; | changeset | files |
| Thu, 23 Nov 2006 00:52:19 +0100 | wenzelm | moved ML identifiers to structure ML_Syntax; | changeset | files |
| Thu, 23 Nov 2006 00:52:15 +0100 | wenzelm | added morph_ctxt, morph_witness; | changeset | files |