source: Deliverables/D4.1/Matita @ 222

Name Size Rev Age Author Last Change
../
Vectors.ma 1.8 KB 222   10 years mulligan Datatype for fixed length lists (vectors) as well as some recursive …
Note: See TracBrowser for help on using the repository browser.