| Tue, 24 Mar 2015 20:07:27 +0100 | wenzelm | clarified name; | changeset | files |
| Tue, 24 Mar 2015 19:43:23 +0100 | wenzelm | option to control old-style schematic mode; | changeset | files |
| Tue, 24 Mar 2015 18:36:29 +0100 | wenzelm | clarified role of Name.uu_, which happens to be the internal replacement of the first underscore under certain assumptions about the context; | changeset | files |
| Tue, 24 Mar 2015 16:17:07 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 24 Mar 2015 16:16:48 +0100 | wenzelm | tuned proof; | changeset | files |
| Tue, 24 Mar 2015 15:57:51 +0100 | wenzelm | admit dummy patterns in instantiations; | changeset | files |
| Tue, 24 Mar 2015 11:53:18 +0100 | wenzelm | clarified input source; | changeset | files |