isabelle: File revisions

src/HOL/Bali/DefiniteAssignment.thy

Mon, 11 Dec 2006 16:06:14 +0100	berghofe	Adapted to new inductive definition package.	file \| diff \| annotate
Thu, 22 Dec 2005 00:28:41 +0100	wenzelm	*mutual induct with .inducts;**	file \| diff \| annotate
Mon, 17 Oct 2005 23:10:13 +0200	wenzelm	change_claset/simpset;	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, 21 Apr 2005 22:02:06 +0200	wenzelm	superceded by Pure.thy and CPure.thy;	file \| diff \| annotate
Wed, 14 May 2003 20:29:18 +0200	schirmer	Adapted to changes in Map.thy	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