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

Last change on this file since 304 was 264, checked in by sacerdot, 10 years ago
  • new axiomatic data type for Strings
  • new file for Assembly
File size: 101 bytes
RevLine 
[249]1include "Char.ma".
2include "List.ma".
3
[264]4(*ndefinition String ≝ List Char.*)
5naxiom String: Type[0].
Note: See TracBrowser for help on using the repository browser.