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/Library/Nat_Infinity.thy
changeset 14565 c6dc17aab88a
parent 11701 3d51fbf81c17
child 14691 e1eedc8cad37 
--- a/src/HOL/Library/Nat_Infinity.thy	Wed Apr 14 13:28:46 2004 +0200
+++ b/src/HOL/Library/Nat_Infinity.thy	Wed Apr 14 14:13:05 2004 +0200
@@ -30,6 +30,9 @@
 syntax (xsymbols)
   Infty :: inat    ("\<infinity>")
 
+syntax (HTML output)
+  Infty :: inat    ("\<infinity>")
+
 defs
   Zero_inat_def: "0 == Fin 0"
   iSuc_def: "iSuc i == case i of Fin n  => Fin (Suc n) | \<infinity> => \<infinity>"
isabelle