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