| 2010-05-02 | Christian Urban | replaced make_pair with library function HOLogic.mk_prod | file | diff | annotate |
| 2010-04-30 | Cezary Kaliszyk | Change signature of fv and alpha generation. | file | diff | annotate |
| 2010-04-29 | Cezary Kaliszyk | New Alpha. | file | diff | annotate |