chapter \<open>Generated by Lem from \<open>num_extra.lem\<close>.\<close>

theory "Lem_num_extra" 

imports
  Main
  "Lem_num"
  "Lem_string"

begin 

(* **************************************************** *)
(*                                                      *)
(* A library of additional functions on numbers         *)
(*                                                      *)
(* **************************************************** *)

(*open import Num*)
(*open import String*)

(*val naturalOfString : string -> natural*)

(*val integerOfString : string -> integer*)


(* Truncation integer division (round toward zero) *)
(*val integerDiv_t: integer -> integer -> integer*)

(* Truncation modulo *)
(*val integerRem_t: integer -> integer -> integer*)

(* Flooring modulo *)
(*val integerRem_f: integer -> integer -> integer*)
end
