src/HOL/Isar_examples/HoareEx.thy
2001-01-10 wenzelm 2001-01-10 use \<acute>;
2000-10-03 wenzelm 2000-10-03 Hoare logic in Isar;