| Wed, 29 Aug 2012 16:25:35 +0900 | Christian Sternagel | introduced "sub" as abbreviation for "emb (op =)"; | changeset | files |
| 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 |