| Tue, 26 Oct 2021 14:43:59 +0000 | haftmann | more generic bit/word lemmas for distribution | file | diff | annotate |
| Fri, 03 Jul 2020 06:18:29 +0000 | haftmann | misc lemma tuning | file | diff | annotate |
| Thu, 16 Apr 2020 08:09:32 +0200 | haftmann | generalized | file | diff | annotate |
| Thu, 16 Apr 2020 08:09:30 +0200 | haftmann | another rule on numerals | file | diff | annotate |
| Mon, 17 Feb 2020 11:07:09 +0000 | paulson | a few new lemmas | file | diff | annotate |
| Wed, 23 Oct 2019 16:09:23 +0000 | haftmann | tuned syntax | file | diff | annotate |
| Sat, 22 Jun 2019 07:18:55 +0000 | haftmann | streamlined setup for linear algebra, particularly removed redundant rule declarations | file | diff | annotate |
| Wed, 15 May 2019 12:47:15 +0100 | paulson | Generalisations involving numerals; comparisons should now work for ennreal | file | diff | annotate |
| Wed, 01 May 2019 10:40:42 +0000 | haftmann | more lemmas | file | diff | annotate |
| Sun, 06 Jan 2019 15:04:34 +0100 | wenzelm | isabelle update -u path_cartouches; | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 28 Jun 2018 21:05:56 +0200 | wenzelm | avoid pending shyps in global theory facts; | file | diff | annotate |
| Tue, 03 Apr 2018 15:36:51 +0000 | haftmann | more rules for numeral conversions; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Sat, 02 Dec 2017 16:50:53 +0000 | haftmann | cleaned up and tuned | file | diff | annotate |
| Mon, 30 Oct 2017 13:18:41 +0000 | haftmann | tuned some proofs and added some lemmas | file | diff | annotate |
| Mon, 17 Jul 2017 16:49:19 +0200 | eberlm | Printing natural numbers as numerals in evaluation | file | diff | annotate |
| Sun, 16 Oct 2016 09:31:03 +0200 | haftmann | de-orphanized declaration | file | diff | annotate |
| Wed, 12 Oct 2016 21:48:53 +0200 | haftmann | transfer lifting rule for numeral | file | diff | annotate |
| Sun, 18 Sep 2016 18:23:59 +0200 | Lars Hupel | tuned | file | diff | annotate |
| Wed, 10 Aug 2016 22:05:36 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Sat, 12 Mar 2016 22:04:52 +0100 | haftmann | model characters directly as range 0..255 | file | diff | annotate |
| Tue, 01 Mar 2016 10:36:19 +0100 | haftmann | tuned bootstrap order to provide type classes in a more sensible order | file | diff | annotate |
| Wed, 17 Feb 2016 21:51:57 +0100 | haftmann | dropped various legacy fact bindings | file | diff | annotate |
| Mon, 28 Dec 2015 01:26:34 +0100 | wenzelm | prefer symbols for "abs"; | file | diff | annotate |
| Mon, 07 Dec 2015 10:38:04 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Wed, 11 Nov 2015 09:48:24 +0100 | Andreas Lochbihler | add various lemmas | file | diff | annotate |
| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Sat, 18 Jul 2015 22:58:50 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Fri, 10 Apr 2015 11:31:10 +0200 | wenzelm | tuned signature; | file | diff | annotate |