| Tue, 16 Feb 2010 20:41:52 +0100 | wenzelm | simplified/clarified record print translations; | changeset | files |
| Tue, 16 Feb 2010 16:42:18 +0100 | wenzelm | eliminated camel case; | changeset | files |
| Tue, 16 Feb 2010 16:40:16 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 16 Feb 2010 16:03:06 +0100 | wenzelm | simplified/clarified record translations; | changeset | files |
| Tue, 16 Feb 2010 14:08:39 +0100 | wenzelm | moved generic update_name to Pure syntax -- not specific to HOL/record; | changeset | files |
| Tue, 16 Feb 2010 13:35:42 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 16 Feb 2010 13:26:21 +0100 | wenzelm | comment; | changeset | files |
| Tue, 16 Feb 2010 13:06:43 +0100 | wenzelm | conceal internal record definitions; | changeset | files |