| Wed, 28 Mar 2012 10:16:02 +0200 | bulwahn | changing more definitions to quotient_definition | changeset | files |
| Wed, 28 Mar 2012 10:02:22 +0200 | bulwahn | removing now redundant impl_of theorems in DAList | changeset | files |
| Wed, 28 Mar 2012 10:00:52 +0200 | bulwahn | using abstract code equations for proofs of code equations in Multiset | changeset | files |
| Wed, 28 Mar 2012 12:08:08 +0200 | wenzelm | simplified statements and proofs; | changeset | files |
| Wed, 28 Mar 2012 11:46:14 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 28 Mar 2012 11:17:32 +0200 | wenzelm | updated Sign.add_type, Name_Space.declare; | changeset | files |
| Wed, 28 Mar 2012 11:04:39 +0200 | wenzelm | updated comments; | changeset | files |