Ticket #372: pg-bug2.v

File pg-bug2.v, 85 bytes (added by megacz, 14 years ago)
Line 
1Require Import Coq.Init.Logic.
2
3
4Notation "C 'ᵒ᎟'" := (fun x => C) (at level 20).