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

Last change on this file since 257 was 249, checked in by mulligan, 9 years ago

More work on defining fundamental datatypes.

File size: 72 bytes
Line 
1include "Char.ma".
2include "List.ma".
3
4ndefinition String ≝ List Char.
Note: See TracBrowser for help on using the repository browser.