Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added "set" supression
authornipkow
Sun, 06 May 2007 13:33:39 +0200
changeset 22835 37d3a984d730
parent 22834 bf67f798f063
child 22836 0e52bb862910
added "set" supression
src/HOL/Library/OptionalSugar.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/OptionalSugar.thy	Sun May 06 13:33:01 2007 +0200
+++ b/src/HOL/Library/OptionalSugar.thy	Sun May 06 13:33:39 2007 +0200
@@ -8,6 +8,10 @@
 imports LaTeXsugar
 begin
 
+(* set *)
+translations
+  "xs" <= "set xs"
+
 (* append *)
 syntax (latex output)
   "appendL" :: "'a list \<Rightarrow> 'a list \<Rightarrow> 'a list" (infixl "\<^raw:\isacharat>" 65)
isabelle