| 2010-05-09 | Christian Urban | cleaned up a bit the examples; added equivariance to all examples | file | diff | annotate |
| 2010-05-03 | Cezary Kaliszyk | Ex2 moved to new parser. | file | diff | annotate |
| 2010-05-03 | Cezary Kaliszyk | Another example where only alpha_eqvt fails. | file | diff | annotate |
| 2010-04-03 | Christian Urban | added README and moved examples into separate directory | file | diff | annotate | base |