Dependencies of allvalues

Package Dependencies verify verify currycheck currycheck verify->currycheck contract-prover contract-prover contracts contracts contract-prover->contracts failfree failfree failfree->contracts property-prover property-prover property-prover->contracts verify-non-fail verify-non-fail verify-non-fail->contracts call-analysis call-analysis setfunctions setfunctions call-analysis->setfunctions combinatorial combinatorial combinatorial->setfunctions contracts->setfunctions curry-source curry-source curry-source->setfunctions currycheck->contracts currycheck->setfunctions peval peval peval->setfunctions prolog2curry prolog2curry prolog2curry->setfunctions currybrowse currybrowse addtypes addtypes currybrowse->addtypes allvalues allvalues addtypes->allvalues bpmn2bpel bpmn2bpel bpmn2bpel->allvalues coosy coosy coosy->allvalues currypp currypp currypp->contracts currypp->currycheck regexp regexp currypp->regexp currypp->setfunctions currypp->allvalues pflp pflp pflp->allvalues regexp->allvalues setfunctions->allvalues time time base base time->base random random random->time random->base searchtree searchtree searchtree->random searchtree->base allvalues->searchtree allvalues->base