source:
src/joint/String.ma
@
2774
| Last change on this file since 2774 was 2647, checked in by , 8 years ago | |
|---|---|
| File size: 221 bytes | |
| Line | |
|---|---|
| 1 | include "basics/pts.ma". |
| 2 | |
| 3 | (* Stupid definition, just to avoid an axiom in the extracted code *) |
| 4 | (* Strings at the moment are only used in comments in the back-end *) |
| 5 | inductive String: Type[0] ≝ |
| 6 | EmptyString : String. |
Note: See TracBrowser
for help on using the repository browser.
