source:
Deliverables/D4.1/Matita/String.ma
@
265
Last change on this file since 265 was 264, checked in by , 10 years ago | |
---|---|
File size: 101 bytes |
Line | |
---|---|
1 | include "Char.ma". |
2 | include "List.ma". |
3 | |
4 | (*ndefinition String ≝ List Char.*) |
5 | naxiom String: Type[0]. |
Note: See TracBrowser
for help on using the repository browser.