Thu, 09 Jan 2014 19:10:35 +0100 | panny | do not use wrong constructor in auto-generated proof goal | changeset | files |
Thu, 09 Jan 2014 17:51:52 +0100 | blanchet | fixed de Bruijn bug in 'unfold_lets' | changeset | files |
Thu, 09 Jan 2014 17:13:05 +0100 | blanchet | tuned error message | changeset | files |