1.1 --- a/doc-src/ERRATA.txt	Mon Jul 11 17:38:10 1994 +0200
     1.2 +++ b/doc-src/ERRATA.txt	Mon Jul 11 17:50:34 1994 +0200
     1.3 @@ -23,3 +23,6 @@
     1.4  Ref/tactic: documented subgoals_tac
     1.5  
     1.6  Logics/ZF: renamed mem_anti_sym and mem_anti_refl
     1.7 +
     1.8 +Ref/defining: type constraints ("::") now have a very low priority of 4.
     1.9 +              As in ML, they must be enclosed in paretheses most of the time.