| 2011-07-24 | Cezary Kaliszyk | update to 'termination (eqvt)'. | file | diff | annotate |
| 2011-06-24 | Cezary Kaliszyk | Make examples work with non-precompiled image | file | diff | annotate |
| 2011-06-24 | Cezary Kaliszyk | Second Fixed Point Theorem | file | diff | annotate |