| Wed, 17 Jul 2013 21:48:21 +0200 | wenzelm | merged | changeset | files |
| Wed, 17 Jul 2013 21:25:27 +0200 | wenzelm | more opportunistic string_of_clause, to make double-sure its Syntax.string_of_term uncheck phase does not crash, and thus bomb ambiguous input via failed composition of warning (e.g. HOL/Imperative_HOL/ex/Linked_List.thy: lemma merge_simps); | changeset | files |
| Wed, 17 Jul 2013 21:04:38 +0200 | wenzelm | tuned spelling; | changeset | files |
| Wed, 17 Jul 2013 12:41:59 +0900 | Christian Sternagel | show variants in error messages; more precise error messages (give witnesses for multiple instances) | changeset | files |
| Wed, 17 Jul 2013 12:19:14 +0900 | Christian Sternagel | refactoring | changeset | files |
| Wed, 17 Jul 2013 17:16:51 +0200 | wenzelm | more robust exn_messages_ids; | changeset | files |