--- a/progs/dfa.scala	Sat Apr 15 22:03:59 2017 +0800
+++ b/progs/dfa.scala	Tue Apr 25 12:28:07 2017 +0100
@@ -1,4 +1,4 @@
-// DFAs in Scala based on partial functions
+// DFAs in Scala  using partial functions
 import scala.util.Try
 
 // type abbreviation for partial functions