2009-12-04 | Cezary Kaliszyk | more name cleaning and removing | file | diff | annotate |
2009-12-04 | Cezary Kaliszyk | More code cleaning and renaming: moved rsp and prs lemmas from Int to QuotList | file | diff | annotate |
2009-12-04 | Cezary Kaliszyk | Cleaning & Renaming coming from QuotList | file | diff | annotate |
2009-12-04 | Cezary Kaliszyk | Even more name changes and cleaning | file | diff | annotate |
2009-12-04 | Christian Urban | smaller theory footprint | file | diff | annotate |
2009-12-04 | Cezary Kaliszyk | More name changes | file | diff | annotate |
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 |