mapping of sequnces

Signed-off-by: Mattias Andrée <maandree@operamail.com>
typo

Signed-off-by: Mattias Andrée <maandree@operamail.com>
alternations and unordered subsequences

Signed-off-by: Mattias Andrée <maandree@operamail.com>
m

Signed-off-by: Mattias Andrée <maandree@operamail.com>
assumptions

Signed-off-by: Mattias Andrée <maandree@operamail.com>
include statement

Signed-off-by: Mattias Andrée <maandree@operamail.com>
typo

Signed-off-by: Mattias Andrée <maandree@operamail.com>