| changeset 488 | 057b4603b940 | 
| parent 487 | ffbc65112d48 | 
| child 489 | 4430477595ec | 
--- a/progs/display/thompson2.scala Fri Apr 28 11:01:25 2017 +0100 +++ b/progs/display/thompson2.scala Sun May 07 00:20:58 2017 +0100 @@ -1,6 +1,6 @@ // Thompson Construction (Part 2) -// some more types abbreviations +// some more type abbreviations type NFAtrans = (TState, Char) :=> Set[TState] type eNFAtrans = (TState, Option[Char]) :=> Set[TState]