Wed, 11 Apr 2018 16:34:44 +0100 | paulson | replacement of set integral abbreviations by actual definitions! | changeset | files |
Fri, 13 Apr 2018 17:25:02 +0200 | nipkow | added lemma | changeset | files |
Wed, 11 Apr 2018 10:59:13 +0200 | boehmes | avoid adding unnecessary quantified lemmas when embedding natural number terms into integer terms: quantified lemmas can cause Z3 to produce complex proofs that are hard to replay in Isabelle | changeset | files |
Mon, 09 Apr 2018 17:21:10 +0100 | paulson | merged | changeset | files |
Mon, 09 Apr 2018 17:20:58 +0100 | paulson | A couple of new results | changeset | files |
Mon, 09 Apr 2018 15:20:11 +0100 | paulson | Syntax for the special cases Min(A`I) and Max (A`I) | changeset | files |
Mon, 09 Apr 2018 16:20:23 +0200 | nipkow | removed dots at the end of (sub)titles | changeset | files |