Thu, 07 Feb 2013 18:39:24 +0100 | blanchet | more robustness in Isar proof reconstruction (cf. bug report by Ondrej) | changeset | files |
Thu, 07 Feb 2013 18:24:31 +0100 | blanchet | more precise error message | changeset | files |
Thu, 07 Feb 2013 14:05:33 +0100 | blanchet | killed deadcode | changeset | files |