isabelle: File revisions

src/HOL/Statespace/DistinctTreeProver.thy

2010-08-27	wenzelm	2010-08-27	modernized specifications;	file \| diff \| annotate
2010-02-27	wenzelm	2010-02-27	modernized structure Term_Ord;	file \| diff \| annotate
2009-10-17	wenzelm	2009-10-17	eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;	file \| diff \| annotate
2009-09-29	wenzelm	2009-09-29	explicit indication of Unsynchronized.ref;	file \| diff \| annotate
2009-07-15	wenzelm	2009-07-15	more antiquotations;	file \| diff \| annotate
2009-01-01	wenzelm	2009-01-01	avoid implicit use of prems;	file \| diff \| annotate
2008-12-31	wenzelm	2008-12-31	moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;	file \| diff \| annotate
2008-11-17	haftmann	2008-11-17	whitespace tuning	file \| diff \| annotate
2008-07-29	haftmann	2008-07-29	PureThy: dropped note_thmss_qualified, dropped _i suffix	file \| diff \| annotate
2007-11-09	wenzelm	2007-11-09	tuned proofs -- avoid implicit prems;	file \| diff \| annotate
2007-10-24	wenzelm	2007-10-24	be explicit about .ML files;	file \| diff \| annotate
2007-10-24	schirmer	2007-10-24	added Statespace library	file \| diff \| annotate

isabelle