(* Title: HOL/IOA/example/Lemmas.thy ID: $Id$ Author: Tobias Nipkow & Konrad Slind Copyright 1994 TU Muenchen Arithmetic lemmas *) Lemmas = Arith