src/HOL/Statespace/state_fun.ML
Thu, 15 Apr 2010 15:38:58 +0200 wenzelm spelling;
Sun, 28 Mar 2010 16:29:51 +0200 wenzelm tuned;
Sun, 28 Feb 2010 23:51:31 +0100 wenzelm more antiquotations;
Sun, 07 Feb 2010 19:33:34 +0100 wenzelm renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation;
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data;
Mon, 19 Oct 2009 23:02:23 +0200 wenzelm eliminated duplicate fold1 -- beware of argument order!
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Sat, 17 Oct 2009 00:52:37 +0200 wenzelm explicitly qualify Drule.standard;
Thu, 15 Oct 2009 23:28:10 +0200 wenzelm replaced String.concat by implode;
Tue, 13 Oct 2009 14:08:00 +0200 haftmann dropped Datatype.distinct_simproc; tuned
Wed, 15 Jul 2009 23:48:21 +0200 wenzelm more antiquotations;
Tue, 23 Jun 2009 16:27:12 +0200 haftmann tuned interfaces of datatype module
Fri, 19 Jun 2009 17:23:21 +0200 haftmann discontinued ancient tradition to suffix certain ML module names with "_package"
Sun, 15 Mar 2009 15:59:44 +0100 wenzelm simplified attribute setup;
Sun, 08 Mar 2009 17:26:14 +0100 wenzelm moved basic algebra of long names from structure NameSpace to Long_Name;
Thu, 05 Mar 2009 20:17:02 +0100 wenzelm removed spurious occurrences of old rep_ss;
Thu, 05 Mar 2009 12:08:00 +0100 wenzelm renamed NameSpace.base to NameSpace.base_name;
Thu, 01 Jan 2009 23:31:49 +0100 wenzelm normalized some ML type/val aliases;
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