| Mon, 02 Sep 2013 17:14:35 +0200 | Andreas Lochbihler | NEWS | changeset | files |
| Mon, 02 Sep 2013 16:28:11 +0200 | Andreas Lochbihler | move admissible out of class ccpo to avoid unnecessary class predicate in foundational theorems | changeset | files |
| Mon, 02 Sep 2013 15:13:00 +0200 | panny | handle direct corecursion | changeset | files |
| Mon, 02 Sep 2013 11:03:02 +0200 | wenzelm | updated according to bceec99254b0; | changeset | files |
| Sun, 01 Sep 2013 14:00:05 +0200 | panny | improved interfaces | changeset | files |
| Sun, 01 Sep 2013 10:45:54 +0200 | panny | simplified rewriting of map arguments | changeset | files |
| Sun, 01 Sep 2013 16:38:04 +1000 | kleing | remove redundant (simp del: ..) | changeset | files |
| Sun, 01 Sep 2013 00:37:53 +0200 | traytel | modernized more examples | changeset | files |
| Sat, 31 Aug 2013 23:55:03 +0200 | traytel | merged | changeset | files |
| Sat, 31 Aug 2013 23:49:36 +0200 | traytel | modernized example | changeset | files |
| Sat, 31 Aug 2013 23:49:14 +0200 | traytel | honor mixfix specifications | changeset | files |
| Sat, 31 Aug 2013 23:52:32 +0200 | panny | merge | changeset | files |
| Sat, 31 Aug 2013 20:37:31 +0200 | panny | simplified recursive calls' replacement | changeset | files |
| Sat, 31 Aug 2013 22:32:43 +0200 | wenzelm | merged | changeset | files |