diff -r f12ff6a4bc7b -r e5e6070fcef5 src/HOL/Library/README.html --- 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 @@ \<and>, \<in>, \<inter>, +\<le>, \<not>, \<noteq>, \<notin>,