(* Title: HOLCF/IOA/ABP/Lemmas.thy ID: $Id$ Author: Olaf Mueller Copyright 1995 TU Muenchen Arithmetic lemmas *) Lemmas = NatArith