| 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 |