| Sun, 05 Jun 2011 21:14:23 +0100 | Christian Urban | added an option for an invariant (at the moment only a stub) | file | diff | annotate |
| Tue, 31 May 2011 00:17:22 +0100 | Christian Urban | functions involving if and case do not throw exceptions anymore; but eqvt_at assumption has now a precondition | file | diff | annotate |