source: Deliverables/D4.1/Matita/String.ma @ 475

Last change on this file since 475 was 465, checked in by mulligan, 9 years ago

Moved over to standard library.

File size: 84 bytes
Line 
1include "Char.ma".
2
3include "datatypes/list.ma".
4
5ndefinition String ≝ list Char.
Note: See TracBrowser for help on using the repository browser.