Wed, 03 Nov 2010 10:18:05 +0100 | wenzelm | more conventional exceptions for abstract syntax operations -- eliminated ancient SYS_ERROR; | changeset | files |
Wed, 03 Nov 2010 08:29:32 +0100 | nipkow | removed assumption | changeset | files |
Tue, 02 Nov 2010 21:59:21 +0100 | wenzelm | more on naming tactics; | changeset | files |