| 2010-09-17 | Christian Urban | updated to Isabelle Sept 16 | file | diff | annotate |
| 2010-07-22 | Christian Urban | updated to new Isabelle; made FSet more "quiet" | file | diff | annotate |
| 2010-07-19 | Christian Urban | minor | file | diff | annotate |
| 2010-07-18 | Christian Urban | minor things on the paper | file | diff | annotate |
| 2010-07-18 | Christian Urban | some test with quotient | file | diff | annotate |
| 2010-06-23 | Christian Urban | merged cezary's changes | file | diff | annotate |