Fri, 21 Sep 2012 15:53:29 +0200 |
blanchet |
renamed "iter"/"coiter" to "fold"/"unfold" (cf. Wadler)
|
file |
diff |
annotate
|
Fri, 21 Sep 2012 15:53:29 +0200 |
blanchet |
tuned a few ML names
|
file |
diff |
annotate
|
Fri, 21 Sep 2012 15:53:29 +0200 |
blanchet |
renamed "fld"/"unf" to "ctor"/"dtor"
|
file |
diff |
annotate
|
Fri, 21 Sep 2012 15:53:29 +0200 |
blanchet |
renamed "upto" coinduction "strong"
|
file |
diff |
annotate
|
Fri, 21 Sep 2012 15:53:29 +0200 |
blanchet |
tuned variable names
|
file |
diff |
annotate
|
Thu, 20 Sep 2012 17:35:49 +0200 |
blanchet |
finished "disc_coiter_iff" etc. generation
|
file |
diff |
annotate
|
Thu, 20 Sep 2012 17:25:07 +0200 |
blanchet |
generate coiter_iff and corec_iff theorems
|
file |
diff |
annotate
|
Thu, 20 Sep 2012 02:42:49 +0200 |
blanchet |
provide predicator, define relator
|
file |
diff |
annotate
|
Thu, 20 Sep 2012 02:42:48 +0200 |
blanchet |
renamed "bnf_fp_util.ML" to "bnf_fp.ML"
|
file |
diff |
annotate
| base
|