Structure real_arithTheory

Source File	Identifier index	Theory binding index

signature real_arithTheory =
sig
  type thm = Thm.thm
  
  (*  Theorems  *)
    
(*
   [realax] Parent theory of "real_arith"
   
   
*)
end

Source File	Identifier index	Theory binding index