| Tue, 23 Apr 2013 16:30:29 +0200 | blanchet | tuned_comment | changeset | files |
| Tue, 23 Apr 2013 11:43:09 +0200 | traytel | (co)rec is (just as the (un)fold) the unique morphism; | changeset | files |
| Tue, 23 Apr 2013 11:14:51 +0200 | haftmann | tuned: unnamed contexts, interpretation and sublocale in locale target; | changeset | files |