isabelle: File revisions

src/HOL/Hoare/Examples.thy

2010-02-23	haftmann	2010-02-23	dropped axclass; dropped Id; session theory Hoare.thy	file \| diff \| annotate
2005-07-13	paulson	2005-07-13	generlization of some "nat" theorems	file \| diff \| annotate
2005-07-07	nipkow	2005-07-07	linear arithmetic now takes "&" in assumptions apart.	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2004-09-10	nipkow	2004-09-10	Added antisymmetry simproc	file \| diff \| annotate
2003-03-11	nipkow	2003-03-11	* empty log message *	file \| diff \| annotate
2003-01-28	nipkow	2003-01-28	New example	file \| diff \| annotate
2002-11-29	nipkow	2002-11-29	added a few lemmas	file \| diff \| annotate
2002-10-28	nipkow	2002-10-28	moved fac example	file \| diff \| annotate
2002-10-28	nipkow	2002-10-28	conversion ML -> thy	file \| diff \| annotate
1998-10-14	nipkow	1998-10-14	New many-sorted version.	file \| diff \| annotate
1996-03-28	paulson	1996-03-28	Translations for 1 and 2 moved from Hoare/Examples.thy to Nat.thy	file \| diff \| annotate
1996-02-05	clasohm	1996-02-05	expanded tabs; incorporated Konrad's changes	file \| diff \| annotate
1995-11-29	clasohm	1995-11-29	removed quotes from consts and syntax sections	file \| diff \| annotate
1995-11-17	nipkow	1995-11-17	New directory. Hoare logic according to Mike Gordon.	file \| diff \| annotate

isabelle