(* Title: HOL/Hoare/Examples.thy ID: $Id$ Author: Norbert Galm Copyright 1995 TUM Various arithmetic examples. *) Examples = Hoare + Arith2