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.
Regular_Set.thy
changeset 379 8c4b6fb43ebe
parent 372 2c56b20032a7 
--- a/Regular_Set.thy	Fri Jul 05 12:07:48 2013 +0100
+++ b/Regular_Set.thy	Fri Jul 05 17:19:17 2013 +0100
@@ -216,7 +216,7 @@
 abbreviation 
   Derivss :: "'a list \<Rightarrow> 'a lang set \<Rightarrow> 'a lang"
 where
-  "Derivss s As \<equiv> \<Union> (Derivs s) ` As"
+  "Derivss s As \<equiv> \<Union> (Derivs s ` As)"
 
 
 lemma Deriv_empty[simp]:   "Deriv a {} = {}"
regexp