src/HOL/Fun.thy
Wed, 09 May 2007 07:53:06 +0200 haftmann moved recfun_codegen.ML to Code_Generator.thy
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Fri, 20 Apr 2007 11:21:42 +0200 haftmann Isar definitions are now added explicitly to code theorem table
Wed, 04 Apr 2007 00:10:59 +0200 wenzelm ML antiquotes;
Fri, 16 Mar 2007 21:32:09 +0100 haftmann moved lattice instance here
Wed, 27 Dec 2006 19:09:55 +0100 haftmann explizit serialization for Haskell id
Mon, 18 Dec 2006 08:21:26 +0100 haftmann infix syntax for generated code for composition
Mon, 27 Nov 2006 13:42:39 +0100 haftmann moved order arities for fun and bool to Fun/Orderings
Mon, 13 Nov 2006 15:43:04 +0100 haftmann dropped Typedef dependency
Tue, 07 Nov 2006 11:47:57 +0100 wenzelm renamed 'const_syntax' to 'notation';
Sat, 08 Jul 2006 12:54:30 +0200 wenzelm simprocs: no theory argument -- use simpset context instead;
Tue, 16 May 2006 21:33:01 +0200 wenzelm tuned concrete syntax -- abbreviation/const_syntax;
Tue, 02 May 2006 20:42:32 +0200 wenzelm replaced syntax/translations by abbreviation;
Sat, 08 Apr 2006 22:51:06 +0200 wenzelm refined 'abbreviation';
Thu, 23 Mar 2006 20:03:53 +0100 nipkow Converted translations to abbbreviations.
less more (0) -15 tip