Mercurial Mercurial > repos > isabelle / 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.
src/HOL/Main.thy
changeset 55078 558c9ceabaa1
parent 55069 b3e44be90122
child 55079 ec08a67e993b 
--- a/src/HOL/Main.thy	Mon Jan 20 18:25:44 2014 +0100
+++ b/src/HOL/Main.thy	Mon Jan 20 18:59:53 2014 +0100
@@ -27,6 +27,7 @@
   ordLeq3 (infix "\<le>o" 50) and
   ordLess2 (infix "<o" 50) and
   ordIso2 (infix "=o" 50) and
+  card_of ("|_|") and
   csum (infixr "+c" 65) and
   cprod (infixr "*c" 80) and
   cexp (infixr "^c" 90)
isabelle