| 2010-03-16 | Cezary Kaliszyk | The proof in 'Test' gets simpler. | file | diff | annotate |
| 2010-03-15 | Christian Urban | merged (confirmed to work with Isabelle from 6th March) | file | diff | annotate |
| 2010-03-15 | Christian Urban | proof for support when bn-function is present, but fb_function is empty | file | diff | annotate |
| 2010-03-15 | Cezary Kaliszyk | fv_eqvt_cheat no longer needed. | file | diff | annotate |