| Sun, 15 Nov 2009 15:13:31 +0100 | wenzelm | eliminated obsolete CVS Ids; | changeset | files |
| Sun, 15 Nov 2009 13:06:42 +0100 | schirmer | merged | changeset | files |
| Sun, 15 Nov 2009 13:06:07 +0100 | schirmer | added benchmark for large records | changeset | files |
| Sat, 14 Nov 2009 09:40:27 +0100 | schirmer | merged | changeset | files |
| 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 |