| Fri, 21 Sep 2012 16:34:40 +0200 |
blanchet |
renamed top-level theory from "Codatatype" to "BNF"
|
file |
diff |
annotate
|
| Fri, 21 Sep 2012 15:53:29 +0200 |
blanchet |
renamed "pred" to "rel" (relator)
|
file |
diff |
annotate
|
| Fri, 21 Sep 2012 15:53:29 +0200 |
blanchet |
renamed "rel" to "srel"
|
file |
diff |
annotate
|
| 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
|