| Fri, 23 Oct 2009 16:37:56 +0200 | krauss | renamed auto_term.ML -> relation.ML | changeset | files |
| Fri, 23 Oct 2009 16:22:10 +0200 | krauss | function package: more standard names for structures and files | changeset | files |
| 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 |