| 2010-05-31 | schropp | added some further ho-pat-unif examples but commented out (missing response check) | file | diff | annotate |
| 2010-05-31 | schropp | some more examples of ho-patterns | file | diff | annotate |
| 2010-05-31 | schropp | corrected def of ho-pat-unif, some extra hints about patterns | file | diff | annotate |
| 2010-05-29 | Christian Urban | tuned | file | diff | annotate |
| 2010-05-29 | Christian Urban | added example from Tobias and changed the title | file | diff | annotate |
| 2010-05-27 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2010-05-24 | Christian Urban | added phi for morphisms | file | diff | annotate |
| 2010-05-17 | Christian Urban | updated to new Isabelle | file | diff | annotate |