| Wed, 10 Feb 2010 11:31:43 +0100 | Cezary Kaliszyk | Fixed rbv6, when translating to OTT. | file | diff | annotate |
| Wed, 10 Feb 2010 10:36:47 +0100 | Cezary Kaliszyk | A concrete example, with a proof that rbv is not regular and | file | diff | annotate |
| Tue, 09 Feb 2010 17:26:28 +0100 | Christian Urban | merged | file | diff | annotate |