Ticket #371: pg-bug1.v

File pg-bug1.v, 31 bytes (added by megacz, 14 years ago)

/Users/megacz/pip/garrows/src/pg-bug1.v

Line 
1Require Import Coq.Init.Logic.