| Fri, 23 Oct 2009 15:33:19 +0200 | krauss | renamed FundefDatatype -> Function_Fun | changeset | files |
| Sat, 24 Oct 2009 21:30:33 +0200 | wenzelm | maintain position of formal entities via name space; | changeset | files |
| Sat, 24 Oct 2009 20:54:08 +0200 | wenzelm | maintain explicit name space kind; | changeset | files |
| Sat, 24 Oct 2009 19:47:37 +0200 | wenzelm | renamed NameSpace to Name_Space -- also to emphasize its subtle change in semantics; | changeset | files |
| Sat, 24 Oct 2009 19:24:50 +0200 | wenzelm | eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already; | changeset | files |
| Sat, 24 Oct 2009 19:22:39 +0200 | wenzelm | eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already; | changeset | files |
| Sat, 24 Oct 2009 19:20:03 +0200 | wenzelm | eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already; | changeset | files |