source: src/ASM/Char.ma @ 2531

Last change on this file since 2531 was 697, checked in by campbell, 9 years ago

Merge Clight branch of vectors and friends.
Start making stuff build.

File size: 76 bytes
Line 
1(*include "logic/pts.ma".*)
2
3include "basics/pts.ma".
4
5axiom Char: Type[0].
Note: See TracBrowser for help on using the repository browser.