aspinall [Thu, 23 Nov 2006 11:39:11 +0100] rev 21485
Add retractfile to supported pgip commands
aspinall [Thu, 23 Nov 2006 11:24:33 +0100] rev 21484
PGIP: add retractfile. Be stricter in file open/close protocol.
wenzelm [Thu, 23 Nov 2006 00:52:23 +0100] rev 21483
replaced Args.map_values/Element.map_ctxt_values by general morphism application;
wenzelm [Thu, 23 Nov 2006 00:52:19 +0100] rev 21482
moved ML identifiers to structure ML_Syntax;
wenzelm [Thu, 23 Nov 2006 00:52:15 +0100] rev 21481
added morph_ctxt, morph_witness;
removed ctxt/witness in favour of general morphisms;
wenzelm [Thu, 23 Nov 2006 00:52:11 +0100] rev 21480
replaced map_values by morph_values;
wenzelm [Thu, 23 Nov 2006 00:52:07 +0100] rev 21479
moved string_of_pair/list/option to structure ML_Syntax;
wenzelm [Thu, 23 Nov 2006 00:52:03 +0100] rev 21478
moved ML syntax operations to structure ML_Syntax;
wenzelm [Thu, 23 Nov 2006 00:52:01 +0100] rev 21477
Basic ML syntax operations.
wenzelm [Thu, 23 Nov 2006 00:51:57 +0100] rev 21476
Abstract morphisms on formal entities.