Lines Matching defs:CASL
56 \newcommand{\CASL}{\textmd{\textsc{Casl}}\xspace }
72 \title{CASL libraries on the web}
78 \section{What the \CASL summary says}
88 \QUERY{CASL/Summary 9, \ldots:\\
154 this language are those of \CASL, plus some new heterogeneous
162 Languages currently supported by \Hets are \CASL, \HasCASL, \CspCASL
165 Now the proposal how to implement the \CASL library mechanism
175 \url{cvs-agbkb.informatik.uni-bremen.de:/repository/CASL-lib}
225 A CASL library is stored in a file ending ``.casl''. A directory having
242 consecutively, while \CASL version numbers are chosen by the user).
283 cvs uses tags for this, and since these shall correspond to \CASL
287 the cvs tag is set, but also the version numbers used in the CASL