src/HOLCF/Tools/fixrec.ML
Tue, 02 Mar 2010 17:21:10 -0800 huffman proper names for types cfun, sprod, ssum
Thu, 19 Nov 2009 14:46:33 +0100 wenzelm adapted Local_Theory.define -- eliminated odd thm kind;
Tue, 17 Nov 2009 14:51:57 +0100 wenzelm eliminated slightly odd name space grouping -- now managed by Isar toplevel;
Fri, 13 Nov 2009 21:11:15 +0100 wenzelm modernized structure Local_Theory;
Fri, 13 Nov 2009 20:41:29 +0100 wenzelm eliminated slightly odd kind argument of LocalTheory.note(s);
Fri, 13 Nov 2009 17:25:09 +0100 wenzelm eliminated obsolete "generated" kind -- collapsed to unspecific "" (definitely unused according to Lukas Bulwahn);
Sun, 08 Nov 2009 18:43:42 +0100 wenzelm adapted Theory_Data;
Sun, 08 Nov 2009 16:30:41 +0100 wenzelm adapted Generic_Data, Proof_Data;
Sat, 07 Nov 2009 07:37:20 -0800 huffman merged
Thu, 05 Nov 2009 15:38:09 -0800 huffman use try instead of handle
Thu, 05 Nov 2009 17:02:43 +0100 wenzelm made SML/NJ happy;
Tue, 03 Nov 2009 19:01:06 -0800 huffman better error handling for fixrec_simp
Tue, 03 Nov 2009 18:32:30 -0800 huffman domain package registers fixrec_simp lemmas
Tue, 03 Nov 2009 17:03:21 -0800 huffman add fixrec_simp attribute and method (eventually to replace fixpat)
Mon, 02 Nov 2009 18:39:41 -0800 huffman add fixrec support for HOL pair constructor patterns
Mon, 19 Oct 2009 23:02:56 +0200 wenzelm always qualify NJ's old List.foldl/foldr in Isabelle/ML;
Thu, 15 Oct 2009 23:28:10 +0200 wenzelm replaced String.concat by implode;
Thu, 23 Jul 2009 18:44:09 +0200 wenzelm renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
Sun, 21 Jun 2009 15:45:57 +0200 haftmann discontinued ancient tradition to suffix certain ML module names with "_package"
less more (0) tip