author | paulson |
Fri, 22 Oct 1999 18:26:46 +0200 | |
changeset 7913 | 86be2946bb0b |
parent 5646 | 7c2ddbaf8b8c |
child 13682 | 91674c8a008b |
permissions | -rw-r--r-- |
1476 | 1 |
(* Title: HOL/Hoare/Examples.thy |
1335 | 2 |
ID: $Id$ |
1476 | 3 |
Author: Norbert Galm |
5646 | 4 |
Copyright 1998 TUM |
1335 | 5 |
|
5646 | 6 |
Various examples. |
1335 | 7 |
*) |
8 |
||
1625
40501958d0f6
Translations for 1 and 2 moved from Hoare/Examples.thy to Nat.thy
paulson
parents:
1476
diff
changeset
|
9 |
Examples = Hoare + Arith2 |