| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Mon, 05 Sep 2022 20:22:13 +0200 | wenzelm | proper umlauts; | file | diff | annotate |
| Mon, 27 Jun 2022 17:36:26 +0200 | traytel | tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS | file | diff | annotate |
| Mon, 27 Jun 2022 15:54:18 +0200 | traytel | strict bounds for BNFs (by Jan van Brügge) | file | diff | annotate |
| Fri, 11 Mar 2022 11:19:38 +0100 | desharna | generated lemma map_ident_strong for BNFs | file | diff | annotate |
| Wed, 03 Nov 2021 11:02:36 +0100 | traytel | add documentation for pred_mono | file | diff | annotate |
| Fri, 17 Apr 2020 17:32:11 +0200 | blanchet | removed LaTeX package and hack to avoid ALLCAPS headers | file | diff | annotate |
| Fri, 28 Feb 2020 21:23:11 +0100 | traytel | tuned lift_bnf's user interface for quotients | file | diff | annotate |
| Sun, 19 Jan 2020 07:50:35 +0100 | traytel | new examples of BNF lifting across quotients using a new theory of confluence, | file | diff | annotate |
| Tue, 07 Jan 2020 14:58:01 +0100 | traytel | eliminated one redundant proof obligation in lift_bnf for quotients | file | diff | annotate |
| Tue, 10 Dec 2019 01:06:39 +0100 | traytel | NEWS, CONTRIBUTORS, and documentation | file | diff | annotate |
| Fri, 11 Oct 2019 11:08:32 +0200 | blanchet | document antiquotations + clarify porting text slightly | file | diff | annotate |
| Thu, 10 Oct 2019 16:37:52 +0200 | blanchet | added para constrasting 'primrec' and 'fun' -- and removed my middle name | file | diff | annotate |
| Sun, 07 Apr 2019 08:26:57 +0200 | traytel | bundle for cardinal syntax | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 26 Dec 2018 16:25:20 +0100 | wenzelm | isabelle update_cartouches -t; | file | diff | annotate |
| Fri, 22 Jun 2018 20:31:49 +0200 | wenzelm | clarified document antiquotation @{theory}; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Tue, 02 Jan 2018 21:32:14 +0100 | blanchet | removed para about 'old_datatype' in docs | file | diff | annotate |
| Tue, 02 Jan 2018 20:38:41 +0100 | wenzelm | old_datatype no longer exists (cf. 706b1cf7b76d); | file | diff | annotate |
| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
| Mon, 23 Jan 2017 17:35:37 +0100 | traytel | tuned documentation | file | diff | annotate |
| Fri, 12 Aug 2016 17:53:55 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Thu, 11 Aug 2016 18:26:44 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Wed, 30 Mar 2016 15:16:50 +0200 | blanchet | more 'corec' docs | file | diff | annotate |
| Tue, 29 Mar 2016 21:25:19 +0200 | blanchet | more 'corec' docs | file | diff | annotate |
| Tue, 29 Mar 2016 09:49:39 +0200 | blanchet | tuning | file | diff | annotate |
| Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | tuning | file | diff | annotate |
| Tue, 23 Feb 2016 16:50:10 +0100 | blanchet | updated doc | file | diff | annotate |
| Wed, 17 Feb 2016 17:21:43 +0100 | blanchet | tuning | file | diff | annotate |
| Wed, 17 Feb 2016 16:26:50 +0100 | traytel | adjust 112eefe85ff0 to 532ad8de5d61 | file | diff | annotate |
| Wed, 17 Feb 2016 15:18:06 +0100 | traytel | correct (apparently untested) e1698a9578ea | file | diff | annotate |
| Wed, 17 Feb 2016 15:18:06 +0100 | traytel | document predicator in datatypes | file | diff | annotate |
| Wed, 17 Feb 2016 11:39:26 +0100 | traytel | call the predicator of list list_all | file | diff | annotate |
| Wed, 17 Feb 2016 12:07:49 +0100 | blanchet | document new 'primrec' feature | file | diff | annotate |
| Tue, 16 Feb 2016 22:28:19 +0100 | traytel | make predicator a first-class bnf citizen | file | diff | annotate |
| Mon, 15 Feb 2016 12:47:16 +0100 | blanchet | document a limitation of 'primcorec' | file | diff | annotate |
| Thu, 07 Jan 2016 15:53:39 +0100 | wenzelm | more uniform treatment of package internals; | file | diff | annotate |
| Wed, 06 Jan 2016 13:04:31 +0100 | blanchet | updated docs | file | diff | annotate |
| Fri, 04 Dec 2015 22:19:04 +0100 | blanchet | tuned docs | file | diff | annotate |
| Fri, 04 Dec 2015 21:39:38 +0100 | blanchet | more documentation on 'size' plugin | file | diff | annotate |
| Tue, 13 Oct 2015 09:21:15 +0200 | haftmann | prod_case as canonical name for product type eliminator | file | diff | annotate |
| Wed, 07 Oct 2015 13:34:42 +0200 | blanchet | clarify docs | file | diff | annotate |
| Wed, 07 Oct 2015 10:42:13 +0200 | blanchet | updated docs | file | diff | annotate |
| Wed, 07 Oct 2015 10:02:58 +0200 | blanchet | made documentation more accurate | file | diff | annotate |
| Thu, 01 Oct 2015 18:59:53 +0200 | blanchet | tuned documentation | file | diff | annotate |
| Thu, 01 Oct 2015 18:44:48 +0200 | blanchet | tuned datatype docs | file | diff | annotate |
| Thu, 24 Sep 2015 12:28:15 +0200 | traytel | congruence rules for the relator | file | diff | annotate |
| Thu, 24 Sep 2015 12:21:19 +0200 | traytel | more useful properties of the relators | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | NEWS, CONTRIBUTORS, documentation for lift_bnf | file | diff | annotate |
| Thu, 16 Jul 2015 17:25:44 +0200 | blanchet | generalized limitation in documentation | 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 14:23:22 +0200 | blanchet | corrected path in doc | file | diff | annotate |
| Wed, 22 Apr 2015 19:52:29 +0200 | blanchet | doc | file | diff | annotate |
| Wed, 06 May 2015 15:04:38 +0200 | blanchet | added acknowledgment | file | diff | annotate |
| Tue, 28 Apr 2015 22:56:28 +0200 | blanchet | tuning | file | diff | annotate |
| Wed, 22 Apr 2015 20:07:00 +0200 | blanchet | improved docs | file | diff | annotate |
| Sun, 19 Apr 2015 19:46:44 +0200 | blanchet | acknowledgment | file | diff | annotate |
| Sun, 19 Apr 2015 19:43:36 +0200 | blanchet | suppressed warnings | file | diff | annotate |
| Sun, 19 Apr 2015 19:29:38 +0200 | blanchet | updated docs, esp. relating to 'datatype_compat' | file | diff | annotate |
| Sun, 19 Apr 2015 15:38:24 +0100 | kleing | typo | file | diff | annotate |
| Tue, 31 Mar 2015 14:42:06 +0200 | blanchet | tuned doc | file | diff | annotate |
| Fri, 27 Mar 2015 15:08:31 +0100 | blanchet | clarified doc | file | diff | annotate |
| Tue, 24 Mar 2015 18:10:56 +0100 | blanchet | reordered properties | file | diff | annotate |
| Mon, 16 Mar 2015 23:05:56 +0100 | traytel | document property | file | diff | annotate |
| Mon, 16 Mar 2015 17:02:00 +0100 | blanchet | updated docs | file | diff | annotate |
| Mon, 16 Mar 2015 17:01:59 +0100 | blanchet | clarified documentation | file | diff | annotate |
| Tue, 03 Mar 2015 17:20:51 +0100 | blanchet | updated docs | file | diff | annotate |
| Tue, 06 Jan 2015 09:59:43 +0100 | blanchet | docs | file | diff | annotate |
| Tue, 06 Jan 2015 09:59:43 +0100 | blanchet | docs | file | diff | annotate |
| Tue, 06 Jan 2015 09:59:43 +0100 | blanchet | docs | file | diff | annotate |
| Mon, 05 Jan 2015 21:48:05 +0100 | blanchet | docs | file | diff | annotate |
| Mon, 05 Jan 2015 11:00:12 +0100 | blanchet | docs | file | diff | annotate |
| Mon, 05 Jan 2015 09:54:41 +0100 | blanchet | docs | file | diff | annotate |
| Mon, 05 Jan 2015 09:54:40 +0100 | blanchet | docs | file | diff | annotate |
| Mon, 05 Jan 2015 06:56:15 +0100 | blanchet | documented 'transfer' options to 'prim(co)rec' | file | diff | annotate |
| Fri, 19 Dec 2014 11:19:14 +0100 | desharna | document 'disc_eq_case' | file | diff | annotate |
| Fri, 19 Dec 2014 11:18:00 +0100 | desharna | document 'case_distrib' | file | diff | annotate |
| Fri, 07 Nov 2014 20:43:13 +0100 | wenzelm | merged | file | diff | annotate |
| Fri, 07 Nov 2014 17:31:01 +0100 | wenzelm | clarified keyword categories; | file | diff | annotate |
| Fri, 07 Nov 2014 12:24:56 +0100 | desharna | document '*_transfer' attribute | file | diff | annotate |
| Fri, 07 Nov 2014 11:52:56 +0100 | desharna | document 'size_neq' | file | diff | annotate |
| Tue, 21 Oct 2014 17:23:16 +0200 | desharna | update documentation for 'size_o_map' | file | diff | annotate |
| Tue, 21 Oct 2014 17:23:14 +0200 | desharna | document 'size_gen' | file | diff | annotate |
| Tue, 21 Oct 2014 17:23:13 +0200 | desharna | document 'map_o_corec' | file | diff | annotate |
| Tue, 21 Oct 2014 17:23:12 +0200 | desharna | move documentation of 'rec_o_map' | file | diff | annotate |
| Tue, 14 Oct 2014 16:19:42 +0200 | desharna | document 'sel_transfer' | file | diff | annotate |
| Mon, 13 Oct 2014 18:45:48 +0200 | wenzelm | Local_Interpretation is superseded by Plugin with formal Plugin_Name management, avoiding undeclared strings; | file | diff | annotate |
| Tue, 07 Oct 2014 22:35:11 +0200 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 02 Oct 2014 12:02:29 +0200 | blanchet | documentation | file | diff | annotate |
| Thu, 02 Oct 2014 12:02:28 +0200 | blanchet | fixed a few mistakes in the documentation | file | diff | annotate |
| Mon, 29 Sep 2014 10:39:39 +0200 | blanchet | reintroduced 'rel_cases' in docs | file | diff | annotate |
| Thu, 25 Sep 2014 16:35:56 +0200 | desharna | document 'corec_transfer' | file | diff | annotate |
| Thu, 25 Sep 2014 16:35:54 +0200 | desharna | document 'rec_transfer' | file | diff | annotate |
| Fri, 19 Sep 2014 14:08:21 +0200 | blanchet | documented limitations | file | diff | annotate |
| Thu, 18 Sep 2014 16:47:40 +0200 | blanchet | fixed attribute name in docs (thanks to Andreas Lochbihler) | file | diff | annotate |
| Wed, 17 Sep 2014 11:54:59 +0200 | blanchet | avoid clash with Quickcheck's generated 'random_xxx' function | file | diff | annotate |
| Mon, 15 Sep 2014 16:14:14 +0200 | blanchet | set 'mono' attribute on 'rel_mono' | file | diff | annotate |
| Mon, 15 Sep 2014 11:54:47 +0200 | blanchet | more hints on how to port 'size' | file | diff | annotate |
| Mon, 15 Sep 2014 11:10:09 +0200 | blanchet | document size difference | file | diff | annotate |
| Mon, 15 Sep 2014 10:49:07 +0200 | blanchet | generate 'code' attribute only if 'code' plugin is enabled | file | diff | annotate |
| Thu, 11 Sep 2014 19:35:38 +0200 | blanchet | tuned documentation | file | diff | annotate |
| Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
| Thu, 11 Sep 2014 19:26:59 +0200 | blanchet | renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf') | file | diff | annotate |
| Thu, 11 Sep 2014 18:54:36 +0200 | blanchet | renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new' | file | diff | annotate |
| Thu, 11 Sep 2014 18:54:36 +0200 | blanchet | more docs | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | documented extraction plugin | file | diff | annotate |
| Mon, 08 Sep 2014 23:09:37 +0200 | blanchet | more docs | file | diff | annotate |
| Mon, 08 Sep 2014 23:09:34 +0200 | blanchet | more documentation | file | diff | annotate |
| Mon, 08 Sep 2014 19:21:14 +0200 | blanchet | compile | file | diff | annotate |
| Mon, 08 Sep 2014 14:03:08 +0200 | blanchet | wildcards in plugins | file | diff | annotate |
| Mon, 08 Sep 2014 14:03:02 +0200 | blanchet | tuned docs | file | diff | annotate |
| Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | updated docs | file | diff | annotate |
| Mon, 08 Sep 2014 14:03:01 +0200 | blanchet | more compatibility documentation | file | diff | annotate |
| Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | updated docs | file | diff | annotate |
| Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | updated docs | file | diff | annotate |
| Wed, 03 Sep 2014 00:06:23 +0200 | blanchet | take out 'x = C' of the simplifier for unit types | file | diff | annotate |
| Mon, 01 Sep 2014 16:17:47 +0200 | blanchet | compile | file | diff | annotate |