CSL Technical Report SRI-CSL-01-02 (Rev. 2) • August, 2003 The SAL Language Manual Leonardo de Moura Sam Owre N. Shankar This report was developed and is maintained by…