| Sun, 23 Feb 2014 22:51:11 +0100 | blanchet | added explicit killing | changeset | files |
| Sun, 23 Feb 2014 22:51:11 +0100 | blanchet | more precise error message | changeset | files |
| Sun, 23 Feb 2014 22:51:11 +0100 | blanchet | reuse same parser for '(co)datatype(_new)' as for 'bnf_decl' | changeset | files |
| Sun, 23 Feb 2014 21:53:01 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 23 Feb 2014 21:45:27 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sun, 23 Feb 2014 21:30:47 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Sun, 23 Feb 2014 21:30:35 +0100 | wenzelm | unused; | changeset | files |