Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Back to Ticket #371
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
1
Require Import Coq
.
Init
.
Logic
.
Download in other formats:
Original Format