| Wed, 06 Nov 2013 21:40:41 +0100 | blanchet | tuning | changeset | files |
| Tue, 05 Nov 2013 21:23:42 +0100 | hoelzl | int and nat are conditionally_complete_lattices | changeset | files |
| Wed, 06 Nov 2013 14:50:50 +0100 | blanchet | be more open-minded and allow needless mutual recursion for 'prim(co)rec', since we allow it for '(co)datatype' -- eventual warnings (or errors) should be centralized in 'fp_bnf' | changeset | files |