Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | ported 'Simps_Case_Conv' to use new 'Ctr_Sugar' abstraction | changeset | files |
Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | register old-style datatypes as 'Ctr_Sugar' | changeset | files |
Tue, 12 Nov 2013 13:47:24 +0100 | blanchet | export useful ML function | changeset | files |