src/HOL/ex/Records.thy
Wed, 14 Jul 2010 16:13:14 +0200 haftmann avoid export_code ... file -
Wed, 27 Jan 2010 14:02:53 +0100 haftmann a more complex record expression -- cf. src/HOL/Tools/quickcheck_generators.ML
Wed, 11 Nov 2009 15:10:29 +0100 haftmann explicit invocation of code generation
Tue, 10 Nov 2009 16:11:46 +0100 haftmann tuned header
Fri, 19 Jun 2009 17:23:21 +0200 haftmann discontinued ancient tradition to suffix certain ML module names with "_package"
Sun, 24 May 2009 15:02:22 +0200 haftmann dropped Id
Sat, 17 May 2008 21:46:22 +0200 wenzelm avoid undeclared variables within proofs;
Wed, 19 Dec 2007 16:32:16 +0100 schirmer more examples
Fri, 20 Apr 2007 11:21:35 +0200 haftmann tuned
Fri, 17 Nov 2006 02:20:03 +0100 wenzelm more robust syntax for definition/abbreviation/notation;
Sat, 27 May 2006 17:42:02 +0200 wenzelm tuned;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Tue, 29 Jun 2004 11:18:34 +0200 kleing license change to BSD
Mon, 03 May 2004 23:22:17 +0200 schirmer reimplementation of HOL records; only one type is created for
Fri, 21 Dec 2001 23:18:46 +0100 wenzelm qualified point.more;
Thu, 22 Nov 2001 17:13:24 +0100 wenzelm thm "point.defs";
Thu, 25 Oct 2001 22:43:05 +0200 wenzelm updated records;
Thu, 25 Oct 2001 02:11:49 +0200 wenzelm (simp add: point.make_def);
Sat, 06 Oct 2001 00:02:46 +0200 wenzelm * sane numerals (stage 2): plain "num" syntax (removed "#");
Fri, 05 Oct 2001 21:52:39 +0200 wenzelm sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
Mon, 30 Oct 2000 18:24:42 +0100 wenzelm tuned;
Thu, 21 Sep 2000 15:58:13 +0200 wenzelm renamed HOL/ex/Points to HOL/ex/Records;
less more (0) tip