| Fri, 16 Dec 2022 18:11:03 +0100 | nipkow | Added section about code generation for partial functions | file | diff | annotate |
| Fri, 12 Aug 2022 15:35:07 +0200 | blanchet | added support for cvc5 (whose interface is almost identical to CVC4) | file | diff | annotate |
| Thu, 12 Nov 2020 16:44:29 +0100 | desharna | Tuned documentation | file | diff | annotate |
| Sat, 21 Mar 2020 15:51:05 +0100 | wenzelm | tuned bib; | file | diff | annotate |
| Thu, 09 May 2019 14:22:25 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Thu, 15 Nov 2018 21:44:25 +0100 | wenzelm | proper citation (amending d8205bb279a7); | file | diff | annotate |
| Wed, 18 Jul 2018 16:44:01 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Tue, 26 Jun 2018 11:11:05 +0200 | wenzelm | add URL; | file | diff | annotate |
| Mon, 12 Feb 2018 14:13:54 +0100 | Lars Hupel | corrected some URLs | file | diff | annotate |
| Sun, 11 Feb 2018 18:09:17 +0100 | Lars Hupel | use preferred resolver according to DOI Handbook ยง3.8 | file | diff | annotate |
| Thu, 28 Dec 2017 12:06:54 +0100 | wenzelm | more accurate bibtex entries; | file | diff | annotate |
| Sun, 24 Dec 2017 14:46:26 +0100 | wenzelm | fewer warnings; | file | diff | annotate |
| Wed, 20 Dec 2017 18:51:13 +0100 | wenzelm | updated URL; | file | diff | annotate |
| Tue, 07 Nov 2017 15:16:41 +0100 | blanchet | integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch) | file | diff | annotate |
| Tue, 01 Aug 2017 20:38:39 +0200 | haftmann | tuned references | file | diff | annotate |
| Mon, 24 Oct 2016 20:58:07 +0200 | blanchet | tuned documentation | file | diff | annotate |
| Mon, 18 Apr 2016 20:56:18 +0200 | haftmann | fragment of a HOL type class primer | file | diff | annotate |
| Wed, 30 Mar 2016 15:16:50 +0200 | blanchet | more 'corec' docs | file | diff | annotate |
| Tue, 29 Mar 2016 17:42:43 +0200 | blanchet | more 'corec' documentation | file | diff | annotate |
| Wed, 10 Feb 2016 14:14:43 +0100 | wenzelm | misc tuning and updates; | file | diff | annotate |
| Mon, 01 Feb 2016 23:52:06 +0100 | blanchet | updated HOL-specific section w.r.t. datatypes | file | diff | annotate |
| Wed, 13 Jan 2016 21:15:23 +0100 | wenzelm | updated section on "Overloaded constant definitions"; | file | diff | annotate |
| Thu, 31 Dec 2015 19:53:19 +0100 | wenzelm | discontinued documentation of old browser; | file | diff | annotate |
| Fri, 04 Dec 2015 22:19:04 +0100 | blanchet | tuned docs | file | diff | annotate |
| Fri, 25 Sep 2015 23:39:08 +0200 | wenzelm | documentation for "Semantic subtype definitions"; | file | diff | annotate |
| Mon, 25 May 2015 22:11:43 +0200 | wenzelm | merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML; | file | diff | annotate |
| Wed, 06 May 2015 23:28:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 06 May 2015 23:04:36 +0200 | wenzelm | proper bib entry; | file | diff | annotate |
| Mon, 04 May 2015 21:58:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 22 Apr 2015 20:07:00 +0200 | blanchet | improved docs | file | diff | annotate |