Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
View Tickets
Search
Context Navigation
Back to Ticket #372
Ticket #372
: pg-bug2.v
File pg-bug2.v,
85 bytes
(added by
megacz
,
14 years ago
)
Line
1
Require Import Coq
.
Init
.
Logic
.
2
3
4
Notation
"C 'áµáŽŸ'"
:=
(
fun x
=>
C
)
(
at level
20
).
Download in other formats:
Original Format