src/HOL/Statespace/DistinctTreeProver.thy
Mon, 17 Nov 2008 17:00:21 +0100 haftmann whitespace tuning
Tue, 29 Jul 2008 08:15:40 +0200 haftmann PureThy: dropped note_thmss_qualified, dropped _i suffix
Fri, 09 Nov 2007 19:37:33 +0100 wenzelm tuned proofs -- avoid implicit prems;
Wed, 24 Oct 2007 19:21:40 +0200 wenzelm be explicit about .ML files;
Wed, 24 Oct 2007 18:36:09 +0200 schirmer added Statespace library
less more (0) tip