isabelle: File revisions

src/HOL/Bali/DefiniteAssignmentCorrect.thy

Wed, 21 Dec 2005 12:02:57 +0100	paulson	removed or modified some instances of [iff]	file \| diff \| annotate
Fri, 25 Nov 2005 18:58:35 +0100	wenzelm	removed obsolete dummy paragraphs;	file \| diff \| annotate
Thu, 22 Sep 2005 23:56:15 +0200	nipkow	renamed rules to iprover	file \| diff \| annotate
Fri, 17 Jun 2005 16:12:49 +0200	haftmann	migrated theory headers to new format	file \| diff \| annotate
Thu, 19 Feb 2004 15:57:34 +0100	ballarin	Efficient, graph-based reasoner for linear and partial orders.	file \| diff \| annotate
Wed, 14 May 2003 20:29:18 +0200	schirmer	Adapted to changes in Map.thy	file \| diff \| annotate
Sat, 08 Feb 2003 14:46:22 +0100	nipkow	adjusted dom rules	file \| diff \| annotate
Fri, 01 Nov 2002 13:16:28 +0100	schirmer	Inserted some extra paragraphs in large proofs to make tex run...	file \| diff \| annotate
Thu, 31 Oct 2002 18:27:10 +0100	schirmer	"Definite Assignment Analysis" included, with proof of correctness. Large adjustments of type safety proof and soundness proof of the axiomatic semantics were necessary. Completeness proof of the loop rule of the axiomatic semantic was altered. So the additional polymorphic variants of some rules could be removed.	file \| diff \| annotate

isabelle