| Sat, 17 Mar 2012 05:13:59 +0000 | Christian Urban | updated to new Isabelle (declared keywords) | file | diff | annotate |
| Wed, 21 Dec 2011 13:06:09 +0900 | Cezary Kaliszyk | Port CR_Takahashi from Nominal1, no more "sorry" in BetaCR. | file | diff | annotate |
| Sat, 17 Dec 2011 17:08:47 +0000 | Christian Urban | cleaned examples for stable branch | file | diff | annotate |