1
(* Title: HOL/Hoare/Examples.thy
2
ID: $Id$
3
Author: Norbert Galm
4
Copyright 1995 TUM
5
6
Various arithmetic examples.
7
*)
8
9
Examples = Hoare + Arith2