| Mon, 13 Jul 2015 19:22:55 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 09 Jul 2015 21:59:16 +0200 | blanchet | tuned ML signature (and rationalized code a bit) | file | diff | annotate |
| Tue, 07 Jul 2015 18:37:25 +0200 | blanchet | tuned ML signature | file | diff | annotate |
| Tue, 02 Jun 2015 11:03:02 +0200 | wenzelm | clarified context; | file | diff | annotate |
| Fri, 10 Apr 2015 18:23:01 +0200 | blanchet | renamed ML funs | file | diff | annotate |
| Fri, 10 Apr 2015 14:03:18 +0200 | blanchet | generalized code | file | diff | annotate |
| Thu, 09 Apr 2015 18:46:16 +0200 | blanchet | tuned signature | file | diff | annotate |
| Tue, 07 Apr 2015 17:24:55 +0200 | blanchet | generalized slightly | file | diff | annotate |
| Tue, 07 Apr 2015 15:14:14 +0200 | blanchet | generalized code | file | diff | annotate |
| Tue, 07 Apr 2015 15:14:12 +0200 | blanchet | generalized code | file | diff | annotate |
| Tue, 07 Apr 2015 14:38:20 +0200 | blanchet | export ML function | file | diff | annotate |
| Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
| Wed, 01 Apr 2015 19:17:41 +0200 | blanchet | simplified code | file | diff | annotate |
| Tue, 31 Mar 2015 00:11:54 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 24 Mar 2015 23:39:42 +0100 | wenzelm | merged | file | diff | annotate |
| Tue, 24 Mar 2015 18:36:29 +0100 | wenzelm | clarified role of Name.uu_, which happens to be the internal replacement of the first underscore under certain assumptions about the context; | file | diff | annotate |
| Tue, 24 Mar 2015 18:10:56 +0100 | blanchet | tuning | file | diff | annotate |
| Tue, 10 Mar 2015 21:31:19 +0100 | blanchet | export more functions (for future 'corec') | file | diff | annotate |
| Tue, 10 Mar 2015 20:53:16 +0100 | blanchet | tuning | file | diff | annotate |
| Tue, 10 Mar 2015 09:49:16 +0100 | blanchet | tuning | file | diff | annotate |
| Thu, 05 Mar 2015 16:45:24 +0100 | blanchet | avoid needless 'if ... undefined' in generated theorems | file | diff | annotate |
| Thu, 05 Mar 2015 14:25:45 +0100 | blanchet | deal better with corecursion through functions | file | diff | annotate |
| Thu, 05 Mar 2015 13:44:41 +0100 | blanchet | removed too strict checks | file | diff | annotate |
| Thu, 05 Mar 2015 12:32:11 +0100 | blanchet | message tuning | file | diff | annotate |
| Thu, 05 Mar 2015 12:19:05 +0100 | blanchet | tuning | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | improved primcorec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | improved primcorec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | better primcorec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | more primcorec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | more precise primcorec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | more precise primcorec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | better primcorec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | more 'primcorec' error handling | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | helpful error message when 'auto' fails | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | no quick_and_dirty for goals that may fail + tuned messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | tuned new primrec messages | file | diff | annotate |
| Thu, 05 Mar 2015 11:57:34 +0100 | blanchet | reworked primcorec error messages | file | diff | annotate |
| Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
| Mon, 05 Jan 2015 21:24:14 +0100 | blanchet | generate [code] only with 'code' plugin enabled | file | diff | annotate |
| Mon, 05 Jan 2015 10:09:42 +0100 | blanchet | added plugins syntax to prim(co)rec | file | diff | annotate |
| Mon, 05 Jan 2015 09:54:41 +0100 | blanchet | tuning | file | diff | annotate |
| Mon, 05 Jan 2015 06:56:15 +0100 | blanchet | tuning | file | diff | annotate |
| Fri, 19 Dec 2014 14:06:13 +0100 | desharna | Add plugin to generate transfer theorem for primrec and primcorec | file | diff | annotate |
| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
| Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | tuned whitespace | file | diff | annotate |
| Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | keep all 'ctr' theorems | file | diff | annotate |
| Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | smoothly handle unit codatatypes in 'primcorec' | file | diff | annotate |
| Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | careful with de Bruijn indices | file | diff | annotate |
| Wed, 08 Oct 2014 17:09:07 +0200 | wenzelm | added parameterized ML antiquotations @{map N}, @{fold N}, @{fold_map N}, @{split_list N}; | file | diff | annotate |
| Fri, 26 Sep 2014 14:43:28 +0200 | desharna | refactor fp_sugar move theorems | file | diff | annotate |
| Fri, 26 Sep 2014 14:43:26 +0200 | desharna | refactor fp_sugar move theorems | file | diff | annotate |
| Fri, 26 Sep 2014 14:41:54 +0200 | desharna | refactor fp_sugar move theorems | file | diff | annotate |
| Fri, 26 Sep 2014 14:41:15 +0200 | desharna | refactor fp_sugar move theorems | file | diff | annotate |
| Fri, 19 Sep 2014 13:41:40 +0200 | blanchet | more honest 'primcorec' -- don't parse a theorem name that is then ignored | file | diff | annotate |
| Fri, 19 Sep 2014 13:38:21 +0200 | blanchet | tuning | file | diff | annotate |
| Fri, 19 Sep 2014 13:27:04 +0200 | blanchet | tuning | file | diff | annotate |
| Mon, 15 Sep 2014 10:49:07 +0200 | blanchet | generate 'code' attribute only if 'code' plugin is enabled | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | compile | file | diff | annotate |
| Tue, 09 Sep 2014 20:51:36 +0200 | blanchet | preserve case names in '(co)induct' theorems generated by prim(co)rec' | file | diff | annotate |
| Mon, 08 Sep 2014 14:03:40 +0200 | blanchet | export useful functions for users of (co)recursors | file | diff | annotate |