Mercurial Mercurial > hg > regexp / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Myhill_1.thy
changeset 108 212bfa431fa5
parent 106 91dc591de63f
child 109 79b37ef9505f 
--- a/Myhill_1.thy	Tue Feb 15 14:17:31 2011 +0000
+++ b/Myhill_1.thy	Wed Feb 16 06:51:58 2011 +0000
@@ -328,7 +328,7 @@
 definition 
   finals :: "lang \<Rightarrow> lang set"
 where
-  "finals A \<equiv> {\<approx>A `` {x} | x . x \<in> A}"
+  "finals A \<equiv> {\<approx>A `` {s} | s . s \<in> A}"
 
 
 lemma lang_is_union_of_finals:
regexp