Searched refs:reads (Results 1 - 4 of 4) sorted by relevance

/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex32 food.owl. If you parse wine.owl the parser reads first wine.owl and
/hets/doc/
H A DUserGuideCommonLogic.tex243 CLIF syntax, and also recursively reads in any imported files (cf.\ Sect.~\ref{relationsInCL} for the syntax).
H A Dhs2isa.tex181 Haskell semantics. If one reads the section of the Haskell report
H A DUserGuide.tex430 \verb+TWELF_LIB+ must be set) and reads in the OMDoc generated by Twelf.

Completed in 35 milliseconds