# HG changeset patch
# User Chengsong
# Date 1652745269 -3600
# Node ID 036600af4c30b88727aae1a1966f8c4fdda0cba6
# Parent  ca7ca1f10f98c3205a6b436ffa5be48936ee8078
chapter2

diff -r ca7ca1f10f98 -r 036600af4c30 ChengsongTanPhdThesis/Chapters/Chapter2.tex
--- a/ChengsongTanPhdThesis/Chapters/Chapter2.tex	Mon May 09 17:24:26 2022 +0100
+++ b/ChengsongTanPhdThesis/Chapters/Chapter2.tex	Tue May 17 00:54:29 2022 +0100
@@ -214,7 +214,7 @@
 same trick as we did for the correctness proof,
 but this time we will have stronger equalities established.
 \subsection{"hrewrite" relation}
-List of simplifications for regular expressions simplification without bitcodes:
+List of 1-step rewrite rules for regular expressions simplification without bitcodes:
 \
 
 
diff -r ca7ca1f10f98 -r 036600af4c30 thys2/blexer2.sc
--- a/thys2/blexer2.sc	Mon May 09 17:24:26 2022 +0100
+++ b/thys2/blexer2.sc	Tue May 17 00:54:29 2022 +0100
@@ -10,7 +10,7 @@
 //
 //   amm lexer.sc all
 
-import scala.util.Try
+
 
 // regular expressions including records
 abstract class Rexp 
@@ -60,6 +60,8 @@
 case class ANOT(bs: Bits, r: ARexp) extends ARexp
 case class AANYCHAR(bs: Bits) extends ARexp
 
+import scala.util.Try
+
 trait Generator[+T] {
     self => // an alias for "this"
     def generate(): T