| 2010-01-24 | Christian Urban | test with splits | file | diff | annotate |
| 2010-01-22 | Cezary Kaliszyk | Proper alpha equivalence for Sigma calculus. | file | diff | annotate |
| 2010-01-21 | Cezary Kaliszyk | Lifted Peter's Sigma lemma with Ex1. | file | diff | annotate |
| 2010-01-21 | Cezary Kaliszyk | Bexeq definition, Ex1_prs lemma, Bex1_rsp lemma, compiles. | file | diff | annotate |
| 2010-01-20 | Cezary Kaliszyk | Added the Sigma Calculus example | file | diff | annotate |