| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| 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 | file | diff | annotate |
| Thu, 15 Feb 2018 12:11:00 +0100 | wenzelm | more symbols; | file | diff | annotate |