isabelle: File revisions

src/HOL/ex/Reflected_Presburger.thy

Mon, 05 Jun 2006 14:22:58 +0200	krauss	Added [simp]-lemmas "in_inv_image" and "in_lex_prod" in the spirit of "in_measure".	file \| diff \| annotate
Sat, 27 May 2006 17:42:02 +0200	wenzelm	tuned;	file \| diff \| annotate
Fri, 12 May 2006 11:19:41 +0200	nipkow	added lemma in_measure	file \| diff \| annotate
Wed, 04 Jan 2006 19:22:53 +0100	nipkow	Reversed Larry's option/iff change.	file \| diff \| annotate
Wed, 21 Dec 2005 12:02:57 +0100	paulson	removed or modified some instances of [iff]	file \| diff \| annotate
Fri, 23 Sep 2005 21:02:13 +0200	webertj	some typos in comments fixed	file \| diff \| annotate
Wed, 14 Sep 2005 22:08:08 +0200	wenzelm	tuned headers etc.;	file \| diff \| annotate
Wed, 14 Sep 2005 21:44:27 +0200	chaieb	tactic and the rest eliminated, just the theory....	file \| diff \| annotate
Wed, 14 Sep 2005 17:25:52 +0200	chaieb	The oracle for Presburger has been changer: It is automatically generated form a verified formaliztion of Cooper's Algorithm ex/Reflected_Presburger.thy	file \| diff \| annotate

isabelle