| 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 |