Mercurial > hg > Members > kono > Proof > automaton

diff agda/regex.agda @ 9:e7bb980408fb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
separate epsiron
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 22 Aug 2018 21:59:24 +0900
parents cdf75ae6f0c1
children 8e66865fd9af
line wrap: on
line diff
--- a/agda/regex.agda	Wed Aug 15 17:38:48 2018 +0900
+++ b/agda/regex.agda	Wed Aug 22 21:59:24 2018 +0900
@@ -23,6 +23,7 @@
 --    b : In2
 
 open import automaton
+open import epautomaton
 
 
 record RST ( Σ : Set )