2010-02-09 | Christian Urban | proper declaration of types and terms during parsing (removes the varifyT when storing data) | file | diff | annotate |
2010-02-09 | Cezary Kaliszyk | More indentation cleaning. | file | diff | annotate |
2010-01-27 | Christian Urban | use of equiv_relation_chk in quotient_term | file | diff | annotate |
2010-01-24 | Christian Urban | test with splits | file | diff | annotate |
2010-01-14 | Christian Urban | tuned quotient_typ.ML | file | diff | annotate |
2010-01-13 | Christian Urban | one more item in the list of Markus | file | diff | annotate |