| Thu, 09 Jan 2014 20:17:15 +0100 | wenzelm | access X11 window manager; | changeset | files |
| Fri, 10 Jan 2014 11:47:10 +0100 | traytel | new codatatype example: stream processors | changeset | files |
| Fri, 10 Jan 2014 12:09:11 +0100 | traytel | use the right context in tactic | changeset | files |
| Fri, 10 Jan 2014 09:48:11 +0100 | blanchet | fixed 'disc_iff' tactic in the case where different equations use different variable names for the function arguments | changeset | files |
| 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 |