| Sun, 08 Mar 2009 20:31:01 +0100 | wenzelm | simplified presentation: built into transaction, pass state directly; | changeset | files |
| Sun, 08 Mar 2009 17:37:18 +0100 | wenzelm | adapted to structure Long_Name; | changeset | files |
| Sun, 08 Mar 2009 17:26:14 +0100 | wenzelm | moved basic algebra of long names from structure NameSpace to Long_Name; | changeset | files |