Searched refs:cl (Results 1 - 13 of 13) sorted by relevance

/hets/GMP/tests/
H A DMakefile1 default: k kd cl gml pml hm
8 cl:
/hets/OWL2/java/de/unibremen/informatik/locality/
H A DLocalityChecker.java29 LocalityClass cl = LocalityClass.BOTTOM_BOTTOM;
31 cl = LocalityClass.TOP_BOTTOM;
33 cl = LocalityClass.TOP_TOP;
35 cl = LocalityClass.BOTTOM_BOTTOM;
40 boolean local = checker(cl);
56 private static Boolean checker(LocalityClass cl) { argument
59 SyntacticLocalityEvaluator eval = new SyntacticLocalityEvaluator(cl);
/hets/utils/
H A Dubuntu-install-isabelle2014.sh11 wget http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/$ISABELLE_TGZ -O - \
/hets/HolLight/OcamlTools/
H A DMakefile22 wget http://www.cl.cam.ac.uk/~jrh13/hol-light/hol_light_100110.tgz -O imageTools/tmp/hol_light.tar.gz
/hets/doc/
H A DUserGuideCommonLogic.tex521 \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
[all...]
H A DUserGuide.tex408 \item[HolLight] \url{http://www.cl.cam.ac.uk/~jrh13/hol-light/}
636 \Isabelle & theorem prover & \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/}\\\hline
/hets/OWL2/java/de/unibremen/informatik/FactProver/
H A DFactProver.java186 Node<OWLClass> cl = reasoner.getEquivalentClasses(c);
187 if (cl.contains(d.asOWLClass()))
/hets/MMT/
H A Dhets-mmt-standalone.jar ... io.IOException com.simontuffs.onejar.JarClassLoader cl java.io.InputStream is } com/simontuffs/onejar/Handler ...
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/GMP/papers/optInWork/
H A Dllncs.cls134 \def\keywordname{{\bf Mots-cl\'e:}}
1155 \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
1156 \expandafter\def\csname cl@#2\endcsname{}%
/hets/GMP/papers/optimizing/
H A Dllncs.cls134 \def\keywordname{{\bf Mots-cl\'e:}}
1155 \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
1156 \expandafter\def\csname cl@#2\endcsname{}%
/hets/utils/el/
H A Dcasl-indent.el10 (require 'cl) ;need defs of push and pop
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 51 milliseconds