| 2010-06-28 | Christian Urban | slight cleaning | file | diff | annotate |
| 2010-06-24 | Christian Urban | added definition of the quotient types | file | diff | annotate |
| 2010-06-23 | Christian Urban | merged cezary's changes | file | diff | annotate |
| 2010-06-23 | Cezary Kaliszyk | Un-do the second change to SingleLet. | file | diff | annotate |
| 2010-06-23 | Cezary Kaliszyk | merge | file | diff | annotate |
| 2010-06-23 | Cezary Kaliszyk | Changes for PER and list_all2 committed to Isabelle | file | diff | annotate |