| Wed, 26 Feb 2014 10:53:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 26 Feb 2014 10:45:06 +0100 | wenzelm | suppress completion of obscure keyword, avoid confusion with plain "simp"; | changeset | files |
| Wed, 26 Feb 2014 10:40:13 +0100 | wenzelm | method language markup, e.g. relevant to prevent outer keyword completion; | changeset | files |
| Wed, 26 Feb 2014 16:48:15 +0100 | kuncar | transfer domain rule for special case of functions - was missing | changeset | files |
| Wed, 26 Feb 2014 15:33:52 +0100 | boehmes | replaced smt-based proof with metis proof that requires no external tool | changeset | files |
| Wed, 26 Feb 2014 11:57:55 +0100 | haftmann | obsolete workaround | changeset | files |
| Wed, 26 Feb 2014 11:57:52 +0100 | haftmann | prefer proof context over background theory | changeset | files |