changeset 5646 | 7c2ddbaf8b8c |
parent 1625 | 40501958d0f6 |
child 13682 | 91674c8a008b |
--- a/src/HOL/Hoare/Examples.thy Wed Oct 14 11:51:11 1998 +0200 +++ b/src/HOL/Hoare/Examples.thy Wed Oct 14 15:26:31 1998 +0200 @@ -1,9 +1,9 @@ (* Title: HOL/Hoare/Examples.thy ID: $Id$ Author: Norbert Galm - Copyright 1995 TUM + Copyright 1998 TUM -Various arithmetic examples. +Various examples. *) Examples = Hoare + Arith2