Searched refs:property (Results 1 - 8 of 8) sorted by relevance

/hets/utils/
H A Dquickcheck8 -- +names print the name of each property before checking it
9 -- -names do not print property names (the default)
H A Dquickcheck.lhs8 +names print the name of each property before checking it
9 -names do not print property names (the default)
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
/hets/
H A DMakefile133 base/transforms base/transforms/Deriving property \
134 property/syntax property/AST property/transforms \
135 property/TI property/defs property/parse2 property/parse2/Parser
158 #Ti_Prop_files = property/TI/TiPropDecorate property/synta
[all...]
/hets/debian/
H A Drules133 base/transforms base/transforms/Deriving property \
134 property/syntax property/AST property/transforms \
135 property/TI property/defs property/parse2 property/parse2/Parser
158 #Ti_Prop_files = property/TI/TiPropDecorate property/synta
[all...]
/hets/utils/nightly/
H A Dcronjob.sh59 cvs -d :pserver:anoncvs@cvs.haskell.org:/cvs co -P programatica/tools/property
/hets/doc/
H A DUserGuide.tex1845 using the property, that a conjecture under the assumption of a set of axioms is

Completed in 25 milliseconds