Mon, 19 May 2014 12:45:26 +0100 | Christian Urban |
changed nominal_primrec into the more appropriate nominal_function | file | diff | annotate |
Tue, 05 Jul 2011 18:42:34 +0200 | Christian Urban | changed bind to binds in specifications; bind will cause trouble with Monad_Syntax | file | diff | annotate |
Fri, 01 Jul 2011 17:46:15 +0900 | Cezary Kaliszyk | Exhaust Issue | file | diff | annotate |