| 2012-04-16 | urbanc | polished | file | diff | annotate |
| 2012-04-15 | urbanc | added some of the comments of the reviewers and made it compile with current Isabelle | file | diff | annotate |
| 2012-03-06 | urbanc | typo | file | diff | annotate |
| 2012-02-28 | urbanc | fixed typo | file | diff | annotate |
| 2012-02-27 | urbanc | typo | file | diff | annotate |
| 2012-02-20 | urbanc | some polishing of the repository | file | diff | annotate |
| 2012-02-16 | urbanc | one typo | file | diff | annotate |
| 2012-02-14 | urbanc | changes by Xingyuan | file | diff | annotate |