| 2010-07-22 | Christian Urban | updated to new Isabelle; made FSet more "quiet" | file | diff | annotate |
| 2010-07-16 | Christian Urban | more on the paper | file | diff | annotate |
| 2010-07-07 | Christian Urban | more on the paper | file | diff | annotate |
| 2010-06-28 | Christian Urban | more quotient-definitions | file | diff | annotate |
| 2010-06-28 | Christian Urban | slight cleaning | file | diff | annotate |
| 2010-06-27 | Christian Urban | fixed according to changes in quotient | file | diff | annotate |
| 2010-06-24 | Christian Urban | added definition of the quotient types | file | diff | annotate |
| 2010-06-23 | Christian Urban | deleted compose-lemmas in Abs (not needed anymore) | file | diff | annotate |