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 |