Lines Matching refs:cl
521 \Isabelle & theorem prover & \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/}\\\hline
676 CLIF files:\footnote{Note that the ``cl:text'' syntax specified in the Common Logic standard \cite{CommonLogic:oldfashioned} has subsequently been recorded as a defect \cite{CommonLogicDefects:oldfashioned}, in favor of ``cl-text''. \Hets supports both.}\\
681 (cl-text Pred
688 (cl-text Cat
696 (cl-text PetHappy
697 (cl-imports Pred) (cl-imports Cat)
811 (cl-imports someFile.clif)
820 (cl-imports file:///absolute/path/to/someFile.clif)
821 (cl-imports http://someDomain.com/path/to/someFile.clif)
822 (cl-imports https://someDomain.com/path/to/someFile.clif)
893 (cl-text upper
900 (cl-text lower
1252 (cl-text axiom
1257 (cl-text correct
1261 (cl-text incorrect (P y)) %implied