2010-05-06 | Cezary Kaliszyk | Fixes for new Isabelle | file | diff | annotate |
2010-05-06 | Cezary Kaliszyk | compound versions with prod_rel and prod_fun, not made default yet. | file | diff | annotate |
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 |