| Sat, 08 Sep 2012 21:30:31 +0200 | blanchet | for compatiblity with old datatype package: not only "recs" with "s", but also "iters" and their "fld_"/"unf_" variants | changeset | files |
| Sat, 08 Sep 2012 21:21:27 +0200 | blanchet | fixed bug with one-value types with phantom type arguments | changeset | files |
| Sat, 08 Sep 2012 21:04:27 +0200 | blanchet | imported patch debugging | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | repaired "nofail4" example | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | renamed xxxBNF to pre_xxx | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | fixed handling of map of "fun" | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | comment out code that's not ready | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | tuning | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | construct the right iterator theorem in the recursive case | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | some work on coiter tactic | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | more sugar on codatatypes | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | define corecursors | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | define coiterators | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | TODO | changeset | files |
| Sat, 08 Sep 2012 21:04:26 +0200 | blanchet | tuning | changeset | files |