| Tue, 31 Mar 2015 17:34:52 +0200 | wenzelm | clarified role of naming for background theory: transform_binding (e.g. for "concealed" flag) uses naming of hypothetical context; | changeset | files |
| Tue, 31 Mar 2015 16:47:12 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 31 Mar 2015 16:43:49 +0200 | wenzelm | tuned message; | changeset | files |
| Tue, 31 Mar 2015 15:29:09 +0200 | wenzelm | more standard Long_Name operations; | changeset | files |