| Thu, 14 Feb 2013 16:36:21 +0100 | wenzelm | more parallel proofs in 'nominal_datatype', although sequential dark matter remains; | changeset | files |
| Thu, 14 Feb 2013 16:35:32 +0100 | wenzelm | tuned proof; | changeset | files |
| Thu, 14 Feb 2013 16:25:13 +0100 | wenzelm | obsolete; | changeset | files |