2010-11-10 | Christian Urban | adapted to changes by Florian on the quotient package and removed local fix for function package | file | diff | annotate |
2010-09-29 | Christian Urban | simplified exhaust proofs | file | diff | annotate |
2010-09-29 | Christian Urban | test with induct_schema for simpler strong_ind proofs | file | diff | annotate |