Thu, 21 Jan 2010 12:20:28 +0100 | bulwahn | merged | changeset | files |
Thu, 21 Jan 2010 12:18:41 +0100 | bulwahn | adopting predicate compiler to new Spec_Rules and eliminating the use of Nitpick_Simps | changeset | files |
Wed, 20 Jan 2010 18:08:08 +0100 | bulwahn | adopting Sequences | changeset | files |