type constraints
authornipkow
Mon Jul 11 17:50:34 1994 +0200 (1994-07-11)
changeset 458877704b91847
parent 457 8577bc1c4e1b
child 459 03b445551763
type constraints
doc-src/ERRATA.txt
     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.