| 2010-02-18 | Christian Urban | start work with the parser | file | diff | annotate |
| 2010-02-08 | Christian Urban | moved some lemmas to Nominal; updated all files | file | diff | annotate |
| 2010-02-03 | Cezary Kaliszyk | Minor | file | diff | annotate |
| 2010-01-28 | Cezary Kaliszyk | Substracting bounds from free variables. | file | diff | annotate |
| 2010-01-28 | Cezary Kaliszyk | Improper interface for datatype and function packages and proper interface lateron. | file | diff | annotate |
| 2010-01-27 | Cezary Kaliszyk | Correct types which fixes the printing. | file | diff | annotate |
| 2010-01-27 | Cezary Kaliszyk | fv for subterms | file | diff | annotate |