| Sat, 21 Jan 2006 23:02:23 +0100 | wenzelm | rename map_theory/proof to theory/proof_map; | changeset | files |
| Sat, 21 Jan 2006 23:02:21 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 21 Jan 2006 23:02:20 +0100 | wenzelm | simplified type attribute; | changeset | files |