| Fri, 15 Oct 2010 21:50:26 +0900 | Cezary Kaliszyk | FSet: definition changes propagated from Nominal and more use of 'descending' tactic | changeset | files |
| Fri, 15 Oct 2010 21:47:45 +0900 | Cezary Kaliszyk | FSet tuned | changeset | files |
| Fri, 15 Oct 2010 21:46:45 +0900 | Cezary Kaliszyk | FSet: give names to respectfulness theorems, rename list_all2_refl to avoid clash | changeset | files |
| Thu, 14 Oct 2010 12:40:14 +0200 | krauss | NEWS | changeset | files |
| Sun, 10 Oct 2010 22:50:25 +0200 | krauss | removed output syntax "'a ~=> 'b" for "'a => 'b option" | changeset | files |
| Wed, 13 Oct 2010 09:56:00 +0200 | krauss | reactivated | changeset | files |
| Tue, 12 Oct 2010 21:30:44 +0200 | krauss | slightly more robust proof | changeset | files |