Lines Matching defs:libraries
48 Four libraries from Version 1.11 of HOL have been temporarily withdrawn,
60 These four libraries have been moved to
103 Version 2.0 has libraries {\small\verb%parser%} and
171 \section{Location of libraries}
181 load libraries. This pathname, which is site-specific and is given an initial
595 \section{Revised set theory libraries}\label{LIBRARY}
596 \index{set theory libraries}
598 In previous versions of the system, there were three libraries dealing with
607 Each of these libraries is useful for certain applications, and all three will
609 libraries, they have been renamed as follows:
1230 below, others can be found in the libraries and in \ml{contrib}.