| Wed, 29 Aug 2012 10:57:24 +0900 | Christian Sternagel | changed arguement order of suffixeq (to facilitate reading "suffixeq xs ys" as "xs is a (possibly empty) suffix of ys) | changeset | files |
| Wed, 29 Aug 2012 10:48:28 +0900 | Christian Sternagel | added embedding for lists (constant emb) | changeset | files |
| Wed, 29 Aug 2012 10:46:11 +0900 | Christian Sternagel | renamed (in Sublist): postfix ~> suffixeq, and dropped infix syntax >>= | changeset | files |