2010-01-14 | Cezary Kaliszyk | produce defs with lthy, like prs and ids | file | diff | annotate |
2010-01-14 | Cezary Kaliszyk | Remove SOLVED from quotient_tac. Move atomize_eqv to 'Unused'. | file | diff | annotate |
2010-01-13 | Christian Urban | one more item in the list of Markus | file | diff | annotate |
2010-01-13 | Christian Urban | deleted SOLVED' | file | diff | annotate |
2010-01-13 | Christian Urban | tuned | file | diff | annotate |
2010-01-13 | Christian Urban | added SOLVED' which is now part of Isabelle....must be removed eventually | file | diff | annotate |