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.
prod and sum
authorkleing
Wed, 14 Apr 2004 09:53:25 +0200
changeset 14558 726f6761c562
parent 14557 31ae4a47267c
child 14559 7612d19d5638
prod and sum
src/Pure/Thy/html.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/html.ML	Tue Apr 13 23:08:12 2004 +0200
+++ b/src/Pure/Thy/html.ML	Wed Apr 14 09:53:25 2004 +0200
@@ -156,6 +156,8 @@
      | "\\<nabla>" => (1.0, "&nabla;")
      | "\\<in>" => (1.0, "&isin;")
      | "\\<notin>" => (1.0, "&notin;")
+     | "\\<prod>" => (1.0, "&prod;")
+     | "\\<sum>" => (1.0, "&sum;")
      | "\\<star>" => (1.0, "&lowast;")
      | "\\<propto>" => (1.0, "&prop;")
      | "\\<infinity>" => (1.0, "&infin;")
isabelle