source:
Deliverables/D4.1/Matita/Plogic
@
327
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| equality.ma | 5.5 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
Note: See TracBrowser
for help on using the repository browser.
