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.
Paper/Paper.thy
changeset 52 4a517c6ac07d
parent 51 6cfb92de4654
child 53 da85feadb8e3 
--- a/Paper/Paper.thy	Sun Jan 30 17:09:02 2011 +0000
+++ b/Paper/Paper.thy	Sun Jan 30 17:21:53 2011 +0000
@@ -10,7 +10,9 @@
   Seq (infixr "\<cdot>" 100) and
   Star ("_\<^bsup>\<star>\<^esup>") and
   pow ("_\<^bsup>_\<^esup>" [100, 100] 100) and
-  Suc ("_+1" [100] 100)
+  Suc ("_+1" [100] 100) and
+  quotient ("_ \<^raw:\ensuremath{\sslash}> _ " [90, 90] 90)
+
 
 (*>*)
regexp