| Thu, 06 Jan 2011 14:53:38 +0000 | Christian Urban | moved Weakening up....it does not compile when put at the last position | file | diff | annotate |
| Thu, 06 Jan 2011 13:31:44 +0000 | Christian Urban | added weakening to the test cases | file | diff | annotate |
| Thu, 23 Dec 2010 00:46:06 +0000 | Christian Urban | moved all strong_exhaust code to nominal_dt_quot; tuned examples | file | diff | annotate |