1 2 3 4 5 6 7
Definition foo '(x,y) := x + y. Print foo. Check forall '(a,b), a /\ b. Require Import Utf8. Print foo. Check forall '(a,b), a /\ b.