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.
add \<le> to list of "good" symbols;
authorwenzelm
Wed, 25 Oct 2000 18:33:40 +0200
changeset 10334 e5e6070fcef5
parent 10333 f12ff6a4bc7b
child 10335 ccdbf0657982
add \<le> to list of "good" symbols;
src/HOL/Library/README.html file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/README.html	Wed Oct 25 18:33:01 2000 +0200
+++ b/src/HOL/Library/README.html	Wed Oct 25 18:33:40 2000 +0200
@@ -91,6 +91,7 @@
 <tt>\&lt;and&gt;</tt>,
 <tt>\&lt;in&gt;</tt>,
 <tt>\&lt;inter&gt;</tt>,
+<tt>\&lt;le&gt;</tt>,
 <tt>\&lt;not&gt;</tt>,
 <tt>\&lt;noteq&gt;</tt>,
 <tt>\&lt;notin&gt;</tt>,
isabelle