src/HOL/Statespace/state_fun.ML
Wed, 10 Dec 2008 22:55:15 +0100 wenzelm more antiquotations;
Mon, 22 Sep 2008 08:00:24 +0200 haftmann fixed headers
Mon, 23 Jun 2008 23:45:39 +0200 wenzelm Logic.all/mk_equals/mk_implies;
Mon, 09 Jun 2008 17:31:25 +0200 wenzelm DatatypePackage.distinct_simproc;
Sat, 29 Mar 2008 22:55:49 +0100 wenzelm purely functional setup of claset/simpset/clasimpset;
Mon, 12 Nov 2007 11:07:22 +0100 schirmer added signatures;
Wed, 24 Oct 2007 18:36:09 +0200 schirmer added Statespace library
less more (0) tip