| 2010-03-09 | Christian Urban | added bn-information, but it is not yet ordered according to the dts | file | diff | annotate |
| 2010-03-09 | Cezary Kaliszyk | A version of Fv that takes into account recursive and non-recursive bindings. | file | diff | annotate |
| 2010-03-08 | Christian Urban | merged | file | diff | annotate |
| 2010-03-08 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 2010-03-08 | Cezary Kaliszyk | More fine-grained nominal restriction for debugging. | file | diff | annotate |
| 2010-03-05 | Cezary Kaliszyk | Lift fv and bn eqvts; no need to lift alpha_eqvt. | file | diff | annotate |