2009-12-04 | Cezary Kaliszyk | Fixes after big merge. | file | diff | annotate |
2009-12-04 | Cezary Kaliszyk | Changing = to \<equiv> in case if we want to use simp. | file | diff | annotate |
2009-09-29 | Christian Urban | used new cong_tac | file | diff | annotate |
2009-08-11 | Christian Urban | initial commit | file | diff | annotate |