source:
Deliverables/D4.1/Matita/Plogic
@
419
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| equality.ma | 5.7 KB | 374 | 10 years | 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons … | |
Note: See TracBrowser
for help on using the repository browser.
