Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History

In Project(s)

Searched defs:vars (Results 1 - 5 of 5) sorted by relevance

/hets/utils/el/
H A D	hpf-mode.el	`53 (defun hpf-vars () 181 (hpf-vars)`
H A D	casl-mode.el	`78 (defun casl-vars () 498 (casl-vars)`
H A D	dol-mode.el	78 (defun dol-vars () 183 '("\\(\\<\\\|\\s-+\\)\\(/\\\\\\\|\\\\/\\\|=>\\\|<=>\\\|and\\\|arch\\\|assoc\\\|behaviourally\\\|closed\\\|comm\\\|else\\\|end\\\|exists\\\|fit\\\|flexible\\\|forall\\\|free\\\|generated\\\|given\\\|idem\\\|if\\\|local\\\|modality\\\|not\\\|orElse\\\|unit\\\|when\\\|alignment\\\|along\\\|assuming\\\|and\\\|closed-world\\\|cofree\\\|combine\\\|cons-ext\\\|end\\\|entails\\\|entailment\\\|equivalence\\\|excluding\\\|extract\\\|free\\\|hide\\\|import\\\|in\\\|for\\\|forget\\\|interpretation\\\|keep\\\|language\\\|library\\\|logic\\\|maximize\\\|model\\\|minimize\\\|network\\\|ni\\\|of\\\|oms\\\|onto\\\|ontology\\\|refined\\\|refinement\\\|reject\\\|relation\\\|remove\\\|result\\\|reveal\\\|select\\\|separators\\\|serialization\\\|spec\\\|specification\\\|substitution\\\|syntax\\\|then\\\|to\\\|translation\\\|using\\\|vars\\\|via\\\|view\\\|where\\\|with\\\|cons\\\|ccons\\\|complete\\\|consistent\\\|def\\\|implied\\\|inconsistent\\\|mcons\\\|mono\\\|notccons\\\|notmcons\\\|prefix\\\|wdef\\\|within\\\|\\(\\(op\\\|pred\\\|var\\\|type\\\|sort\\)s?\\)\\)[,;]?[ \t\n]" 498 (dol-vars)
/hets/CASL/Termination/
H A D	AProVE.jar	`META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...`
/hets/OWL2/java/lib/
H A D	guava-18.0.jar	`META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...`

Completed in 548 milliseconds