| Thu, 19 Sep 2013 01:09:25 +0200 |
blanchet |
simplified code
|
file |
diff |
annotate
|
| Thu, 19 Sep 2013 00:32:33 +0200 |
panny |
generate more theorems (e.g. for types with only one constructor)
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 22:59:11 +0200 |
panny |
generate constructor view theorems
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 18:12:40 +0200 |
blanchet |
tuned tactics
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 15:33:32 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Mon, 16 Sep 2013 15:03:23 +0200 |
panny |
prove simp theorems for newly generated definitions
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 01:58:48 +0200 |
panny |
support indirect corecursion
|
file |
diff |
annotate
|
| Wed, 04 Sep 2013 02:11:50 +0200 |
panny |
various refactoring;
|
file |
diff |
annotate
|
| Mon, 02 Sep 2013 15:13:00 +0200 |
panny |
handle direct corecursion
|
file |
diff |
annotate
|
| Sun, 01 Sep 2013 14:00:05 +0200 |
panny |
improved interfaces
|
file |
diff |
annotate
|
| Sun, 01 Sep 2013 10:45:54 +0200 |
panny |
simplified rewriting of map arguments
|
file |
diff |
annotate
|
| Sat, 31 Aug 2013 23:55:03 +0200 |
traytel |
merged
|
file |
diff |
annotate
|
| Sat, 31 Aug 2013 23:49:14 +0200 |
traytel |
honor mixfix specifications
|
file |
diff |
annotate
|
| Sat, 31 Aug 2013 20:37:31 +0200 |
panny |
simplified recursive calls' replacement
|
file |
diff |
annotate
|
| Sat, 31 Aug 2013 18:18:33 +0200 |
panny |
handle selector formulae with no corecursive calls
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 21:43:15 +0200 |
panny |
fixed bug in primrec_new (allow indirect recursion through constructor arguments other than the first)
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 14:17:19 +0200 |
blanchet |
more canonical naming
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 12:37:03 +0200 |
blanchet |
moved keywords down the hierarchy
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 11:37:22 +0200 |
blanchet |
polished newly included files after moving
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 11:27:23 +0200 |
blanchet |
moved files related to "primrec_new", "primcorec", and "datatype_compat" from bitbucket co-rec repository
|
file |
diff |
annotate
|