Lines Matching defs:pr
409 fun pr True = True
410 | pr False = False
411 | pr (Atom tm) = Atom (prettify_term tm)
412 | pr (Not f) = Not (pr f)
413 | pr (And (f, g)) = And (pr f, pr g)
414 | pr (Or (f, g)) = Or (pr f, pr g)
415 | pr (Imp (f, g)) = Imp (pr f, pr g)
416 | pr (Iff (f, g)) = Iff (pr f, pr g)
417 | pr (Forall (v, f)) = Forall (prettify_varname v, pr f)
418 | pr (Exists (v, f)) = Exists (prettify_varname v, pr f)
420 pr