2011-06-29 | Christian Urban | moved Classical and Let temporarily into a section where "sorry" is allowed; this makes all test go through | file | diff | annotate |
2011-02-28 | Christian Urban | included old test cases for perm_simp into ROOT.ML file | file | diff | annotate |
2011-01-06 | Christian Urban | moved Weakening up....it does not compile when put at the last position | file | diff | annotate |
2011-01-06 | Christian Urban | added weakening to the test cases | file | diff | annotate |
2010-12-23 | Christian Urban | moved all strong_exhaust code to nominal_dt_quot; tuned examples | file | diff | annotate |
2010-12-22 | Christian Urban | corrected premises of strong exhausts theorems | file | diff | annotate |
2010-12-22 | Christian Urban | properly exported strong exhaust theorem; cleaned up some examples | file | diff | annotate |