isabelle: File revisions

src/HOL/Bali/Name.thy

2009-10-17	wenzelm	2009-10-17	eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;	file \| diff \| annotate
2007-09-30	wenzelm	2007-09-30	avoid internal names;	file \| diff \| annotate
2006-05-25	wenzelm	2006-05-25	axiomatization java_lang;	file \| diff \| annotate
2005-08-28	wenzelm	2005-08-28	removed obsolete arities;	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2004-05-03	schirmer	2004-05-03	reimplementation of HOL records; only one type is created for each record extension, instead of one type for each field. See NEWS.	file \| diff \| annotate
2002-10-31	schirmer	2002-10-31	"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
2002-01-28	wenzelm	2002-01-28	tuned;	file \| diff \| annotate
2002-01-28	wenzelm	2002-01-28	GPLed;	file \| diff \| annotate
2002-01-28	wenzelm	2002-01-28	tuned header;	file \| diff \| annotate
2002-01-28	schirmer	2002-01-28	Isabelle/Bali sources;	file \| diff \| annotate

isabelle