| Mon, 08 Mar 2010 14:41:56 +0100 |
haftmann |
proper ML interface; further polishing
|
file |
diff |
annotate
|
| Mon, 08 Mar 2010 13:22:41 +0100 |
haftmann |
code simplification and tuning
|
file |
diff |
annotate
|
| Mon, 08 Mar 2010 09:38:59 +0100 |
haftmann |
transfer: avoid camel case, more standard coding conventions, misc tuning
|
file |
diff |
annotate
|
| Sun, 07 Mar 2010 08:46:12 +0100 |
haftmann |
dropped dead code; adhere more closely to standard coding conventions
|
file |
diff |
annotate
|
| Sun, 08 Nov 2009 16:30:41 +0100 |
wenzelm |
adapted Generic_Data, Proof_Data;
|
file |
diff |
annotate
|
| Thu, 29 Oct 2009 11:41:39 +0100 |
haftmann |
join entries properly on theory merge
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 12:02:56 +0200 |
haftmann |
curried union as canonical list operation
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 08:14:38 +0200 |
haftmann |
dropped redundant gen_ prefix
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 16:13:01 +0200 |
haftmann |
replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
|
file |
diff |
annotate
|
| Thu, 01 Oct 2009 16:09:47 +0200 |
wenzelm |
handle Pattern.MATCH, not arbitrary exceptions;
|
file |
diff |
annotate
|
| Thu, 10 Sep 2009 15:23:09 +0200 |
haftmann |
plain structure name; signature constraint; shorter lines
|
file |
diff |
annotate
| base
|