| Wed, 29 Aug 2012 12:24:26 +0900 | Christian Sternagel | base Sublist_Order on Sublist (using a simplified form of embedding as sublist relation) | changeset | files |
| Wed, 29 Aug 2012 12:23:14 +0900 | Christian Sternagel | dropped ord and bot instance for list prefixes (use locale interpretation instead, which allows users to decide what order to use on lists) | changeset | files |
| Wed, 29 Aug 2012 11:05:44 +0900 | Christian Sternagel | more lemmas on suffixes and embedding | changeset | files |
| 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 |