| Fri, 22 Jan 2010 13:38:29 +0100 | haftmann | more accurate dependencies | changeset | files |
| 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 |