| Fri, 22 Jan 2010 13:38:28 +0100 | haftmann | code literals: distinguish numeral classes by different entries | changeset | files |
| Fri, 22 Jan 2010 13:38:28 +0100 | haftmann | cleanup of Multiset.thy: less duplication, tuned and simplified a couple of proofs, less historical organization of sections, conversion from associations lists to multisets, rudimentary code generation | changeset | files |
| Thu, 21 Jan 2010 09:27:57 +0100 | haftmann | merged | changeset | files |
| Sat, 16 Jan 2010 17:15:28 +0100 | haftmann | dropped some old primrecs and some constdefs | changeset | files |
| Sat, 16 Jan 2010 17:15:27 +0100 | haftmann | explicit CONST in translations | changeset | files |
| Sat, 16 Jan 2010 17:15:27 +0100 | haftmann | modernized syntax | changeset | files |
| Wed, 20 Jan 2010 11:54:19 +0100 | blanchet | fix issues with previous Nitpick change | changeset | files |
| Wed, 20 Jan 2010 10:38:19 +0100 | blanchet | merged | changeset | files |