| Wed, 12 May 2010 16:08:32 +0200 | Cezary Kaliszyk | Use raw_induct instead of induct | file | diff | annotate |
| Mon, 10 May 2010 15:09:32 +0200 | Cezary Kaliszyk | Use mk_compound_fv' and mk_compound_rel' | file | diff | annotate |
| Thu, 06 May 2010 14:13:35 +0200 | Cezary Kaliszyk | Fixes for new Isabelle | file | diff | annotate |
| Thu, 06 May 2010 14:13:05 +0200 | Cezary Kaliszyk | compound versions with prod_rel and prod_fun, not made default yet. | file | diff | annotate |