etc/coq/bug-114.v


1
2
3
4

(* Trac #114:  identifiers starting with "fun" are wrongly coloured *)

forall (funA B: Prop)     (* funA should be all magenta *)
fun (forallA B: Prop)     (* forallA should be all magenta *)