add \<le> to list of "good" symbols;
authorwenzelm
Wed Oct 25 18:33:40 2000 +0200 (2000-10-25)
changeset 10334e5e6070fcef5
parent 10333 f12ff6a4bc7b
child 10335 ccdbf0657982
add \<le> to list of "good" symbols;
src/HOL/Library/README.html
     1.1 --- a/src/HOL/Library/README.html	Wed Oct 25 18:33:01 2000 +0200
     1.2 +++ b/src/HOL/Library/README.html	Wed Oct 25 18:33:40 2000 +0200
     1.3 @@ -91,6 +91,7 @@
     1.4  <tt>\&lt;and&gt;</tt>,
     1.5  <tt>\&lt;in&gt;</tt>,
     1.6  <tt>\&lt;inter&gt;</tt>,
     1.7 +<tt>\&lt;le&gt;</tt>,
     1.8  <tt>\&lt;not&gt;</tt>,
     1.9  <tt>\&lt;noteq&gt;</tt>,
    1.10  <tt>\&lt;notin&gt;</tt>,