Allends	NPBayes-internal
Allsigns	NPBayes-internal
binary4	NPBayes-internal
Lemma1	Lemma1
MeasureB	NPBayes-internal
NewLemma1	NewLemma1
NPBayes	NPBayes
NPBayesT	NPBayesT
NPBayesT2	NPBayesT2
