Fri, 30 Aug 2013 21:43:15 +0200 | panny | fixed bug in primrec_new (allow indirect recursion through constructor arguments other than the first) | changeset | files |
Fri, 30 Aug 2013 21:14:38 +0200 | wenzelm | some tests on /home/polyml/polyml-svn, which is approaching polyml-5.5.1; | changeset | files |
Fri, 30 Aug 2013 18:22:17 +0200 | wenzelm | tuned proofs; | changeset | files |