signature prob_canonTools =
sig

   val prob_canon_ss : simpLib.simpset

end