| Tue, 31 Mar 2015 20:18:10 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 Mar 2015 20:07:37 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 31 Mar 2015 19:39:05 +0200 | wenzelm | tuned -- avoid exotic Name_Space.defined_entry; | changeset | files |
| Tue, 31 Mar 2015 19:16:44 +0200 | wenzelm | tuned; | changeset | files |
| 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 |