| Tue, 22 Mar 2011 17:20:53 +0100 | blanchet | make Minimizer honor "verbose" and "debug" options better | changeset | files |
| Tue, 22 Mar 2011 12:49:07 +0100 | nipkow | fixed a printing problem for bounded quantifiers and bounded set operators in the case of tuples | changeset | files |
| Mon, 21 Mar 2011 21:10:29 +0100 | krauss | moved some configurations to AFP, and fixed others | changeset | files |
| Tue, 22 Mar 2011 20:44:47 +0100 | wenzelm | more selective strip_positions in case patterns -- reactivate translations based on "case _ of _" in HOL and special patterns in HOLCF; | changeset | files |
| Tue, 22 Mar 2011 18:03:28 +0100 | wenzelm | enable inner syntax source positions by default (controlled via configuration option); | changeset | files |
| Tue, 22 Mar 2011 17:51:15 +0100 | wenzelm | binder_tr: more informative exception; | changeset | files |
| Tue, 22 Mar 2011 16:39:34 +0100 | wenzelm | Hoare syntax: strip positions where they crash translation functions; | changeset | files |