
diff -r f754a10875c7 -r c840a99a3e05 thys/Journal/document/root.tex
--- a/thys/Journal/document/root.tex	Tue Oct 10 11:31:47 2017 +0100
+++ b/thys/Journal/document/root.tex	Wed Oct 25 12:18:44 2017 +0100
@@ -82,7 +82,8 @@
 definition of a POSIX value is equivalent to an alternative definition
 by Okui and Suzuki which identifies POSIX values as least elements
 according to an ordering of values.  We also prove the correctness of
-an optimised version of the POSIX matching algorithm.  \smallskip
+an optimised version of the POSIX matching algorithm and extend the
+results to additional constructors for regular expressions.  \smallskip
 
 {\bf Keywords:} POSIX matching, Derivatives of Regular Expressions,
 Isabelle/HOL




