src/HOL/Statespace/ROOT.ML
Sun, 16 Jan 2011 14:57:14 +0100 wenzelm added before_exit continuation for named targets (locale, class etc.), e.g. for final check/cleanup as in VC management;
Wed, 11 Nov 2009 14:15:11 +0100 wenzelm uniform use of simultabeous use_thys;
Wed, 24 Oct 2007 18:36:09 +0200 schirmer added Statespace library
less more (0) tip