| 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 |
| Mon, 01 Sep 2014 13:53:39 +0200 | desharna | document 'set_transfer' | file | diff | annotate |
| Mon, 01 Sep 2014 13:23:41 +0200 | desharna | document 'rel_transfer' | file | diff | annotate |
| Mon, 01 Sep 2014 13:23:05 +0200 | desharna | document 'map_transfer' | file | diff | annotate |
| Fri, 29 Aug 2014 14:48:23 +0200 | desharna | document 'disc_transfer' | file | diff | annotate |
| Fri, 29 Aug 2014 14:21:25 +0200 | desharna | document 'case_transfer' | file | diff | annotate |
| Wed, 27 Aug 2014 13:05:59 +0200 | blanchet | removed not so interesting 'set_empty' | file | diff | annotate |
| Tue, 19 Aug 2014 16:46:33 +0200 | desharna | document 'ctr_transfer' | file | diff | annotate |
| Mon, 18 Aug 2014 19:16:51 +0200 | blanchet | updated docs | file | diff | annotate |
| Mon, 18 Aug 2014 17:20:13 +0200 | blanchet | added collection theorem for consistency and convenience | file | diff | annotate |
| Mon, 18 Aug 2014 17:19:58 +0200 | blanchet | reordered some (co)datatype property names for more consistency | file | diff | annotate |
| Mon, 18 Aug 2014 15:03:25 +0200 | desharna | document 'map_cong_simp' | file | diff | annotate |
| Mon, 18 Aug 2014 14:09:21 +0200 | desharna | document 'inj_map_strong' | file | diff | annotate |
| Mon, 18 Aug 2014 13:49:47 +0200 | desharna | note 'inj_map' more often | file | diff | annotate |
| Thu, 14 Aug 2014 13:21:19 +0200 | desharna | document property 'rel_map' | file | diff | annotate |
| Tue, 12 Aug 2014 12:32:05 +0200 | desharna | document property 'set_cases' | file | diff | annotate |
| Tue, 12 Aug 2014 12:01:38 +0200 | desharna | document property 'set_intros' | file | diff | annotate |
| Wed, 30 Jul 2014 10:50:30 +0200 | desharna | document property 'set_induct' | file | diff | annotate |
| Sat, 19 Jul 2014 11:20:09 +0200 | blanchet | doc fixes (contributed by Christian Sternagel) | file | diff | annotate |
| Wed, 16 Jul 2014 10:13:38 +0200 | desharna | document property 'rel_sel' | file | diff | annotate |
| Tue, 15 Jul 2014 00:35:07 +0200 | blanchet | took out 'rel_cases' for now because of failing tactic | file | diff | annotate |
| Fri, 11 Jul 2014 00:55:46 +0200 | blanchet | more docs | file | diff | annotate |
| Mon, 07 Jul 2014 16:06:46 +0200 | desharna | document property 'rel_cases' | file | diff | annotate |
| Thu, 03 Jul 2014 11:30:23 +0200 | desharna | document property 'rel_intros' | file | diff | annotate |
| Wed, 02 Jul 2014 17:01:51 +0200 | desharna | document property 'corec_code' | file | diff | annotate |
| Tue, 01 Jul 2014 17:01:48 +0200 | desharna | document property 'rel_induct' | file | diff | annotate |
| Fri, 27 Jun 2014 10:11:44 +0200 | blanchet | merged two small theory files | file | diff | annotate |
| Tue, 24 Jun 2014 13:48:14 +0200 | desharna | document property 'rel_coinduct' | file | diff | annotate |