source: Deliverables/D4.1/DemoFinal/matita/root @ 3174

Last change on this file since 3174 was 671, checked in by mulligan, 10 years ago

Finished demo script for tomorrow.

File size: 35 bytes
Line 
1baseuri=cic:/matita/nlibrary-cerco
Note: See TracBrowser for help on using the repository browser.