![](http://www.daimi.aau.dk/images/greynext.xbm)
Go backward to A.3 Architectural Specifications
Go up to A CASL Mark-Up: Quick Reference
A.4 Libraries
\Library | library |
\Version | version |
\From | from |
\Get | get |
\SpecName{...}
reference to a Specification_Name or View_Name
CoFI
Note: C-2 -- Version: 0.3 (for CASL v1.0) -- 30 November 1998.
Comments to mosses@csl.sri.com
![](http://www.daimi.aau.dk/images/greynext.xbm)