| Tue, 19 Oct 2010 15:13:35 +0100 | Christian Urban | tuned | file | diff | annotate |
| Mon, 18 Oct 2010 14:25:15 +0100 | Christian Urban | reorganisation of the FSet theory (changed the primary naming scheme of constants and theorems to *_fset) | file | diff | annotate |
| Fri, 15 Oct 2010 21:50:26 +0900 | Cezary Kaliszyk | FSet: definition changes propagated from Nominal and more use of 'descending' tactic | file | diff | annotate |