| Sat, 14 Nov 2009 09:31:54 +0100 | schirmer | clarified quick-and-dirty usage in record package; | changeset | files |
| Sun, 15 Nov 2009 00:34:21 +0100 | wenzelm | simplified bulky metis proofs; | changeset | files |
| Sun, 15 Nov 2009 00:23:26 +0100 | wenzelm | properly inlined @{lemma} antiqutations -- might also reduce proof terms a bit; | changeset | files |
| Sat, 14 Nov 2009 19:56:18 +0100 | wenzelm | moved old SList, LList, LFilter to AFP/Lazy-Lists-II; | changeset | files |
| Sat, 14 Nov 2009 18:45:24 +0100 | wenzelm | include HOL-Boogie keywords by default; | changeset | files |
| Sat, 14 Nov 2009 18:36:05 +0100 | wenzelm | eliminated obsolete CVS Ids; | changeset | files |