| Fri, 15 Oct 2010 16:32:34 +0900 | Cezary Kaliszyk | FSet: stronger fact in Isabelle. | file | diff | annotate |
| Fri, 15 Oct 2010 16:23:26 +0900 | Cezary Kaliszyk | FSet synchronizing | file | diff | annotate |
| Fri, 15 Oct 2010 15:52:40 +0900 | Cezary Kaliszyk | Synchronizing FSet further. | file | diff | annotate |
| Fri, 15 Oct 2010 15:24:19 +0900 | Cezary Kaliszyk | Partially merging changes from Isabelle | file | diff | annotate |
| Thu, 14 Oct 2010 11:09:52 +0100 | Christian Urban | deleted some unused lemmas | file | diff | annotate |
| Thu, 14 Oct 2010 04:14:22 +0100 | Christian Urban | major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw) | file | diff | annotate |