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
|