| 2010-02-11 | Cezary Kaliszyk | Main renaming + fixes for new Isabelle in IntEx2. | file | diff | annotate |
| 2010-02-10 | Cezary Kaliszyk | example with a respectful bn function defined over the type itself | file | diff | annotate |
| 2010-02-10 | Cezary Kaliszyk | Another mistake found with OTT. | file | diff | annotate |
| 2010-02-10 | Cezary Kaliszyk | Fixed rbv6, when translating to OTT. | file | diff | annotate |
| 2010-02-10 | Cezary Kaliszyk | A concrete example, with a proof that rbv is not regular and | file | diff | annotate |
| 2010-02-09 | Christian Urban | merged | file | diff | annotate |
| 2010-02-09 | Christian Urban | slight correction | file | diff | annotate |