src/HOL/Statespace/DistinctTreeProver.thy
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2011-11-06 wenzelm 2011-11-06 tuned document; tuned proofs;
2011-11-06 wenzelm 2011-11-06 misc tuning and modernization;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-04-08 wenzelm 2011-04-08 discontinued special treatment of structure Mixfix; eliminated slightly odd no_syn convenience;
2010-09-20 wenzelm 2010-09-20 renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-08-27 wenzelm 2010-08-27 modernized specifications;
2010-02-27 wenzelm 2010-02-27 modernized structure Term_Ord;
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-15 wenzelm 2009-07-15 more antiquotations;
2009-01-01 wenzelm 2009-01-01 avoid implicit use of prems;
2008-12-31 wenzelm 2008-12-31 moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); tuned signature of structure Term;
2008-11-17 haftmann 2008-11-17 whitespace tuning
2008-07-29 haftmann 2008-07-29 PureThy: dropped note_thmss_qualified, dropped _i suffix
2007-11-09 wenzelm 2007-11-09 tuned proofs -- avoid implicit prems;
2007-10-24 wenzelm 2007-10-24 be explicit about .ML files;
2007-10-24 schirmer 2007-10-24 added Statespace library