2010-05-12 | Cezary Kaliszyk | Use raw_induct instead of induct | file | diff | annotate |
2010-05-10 | Cezary Kaliszyk | Use mk_compound_fv' and mk_compound_rel' | file | diff | annotate |
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 |