src/HOL/Statespace/DistinctTreeProver.thy
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