source: Deliverables/D3.3/id-lookup-branch/ASM/Char.ma @ 3341

Last change on this file since 3341 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.