1signature prob_uniformTools = 2sig 3 4 val PROB_UNIF_CONV : Term.term -> Thm.thm; 5 val PROB_UNIFORM_CUT_CONV : Term.term -> Thm.thm; 6 7end