source: src/ASM/Char.ma @ 854

Last change on this file since 854 was 697, checked in by campbell, 10 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.