| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
tuned titles
|
file |
diff |
annotate
|
| Thu, 18 Mar 2010 13:56:33 +0100 |
haftmann |
meaningful transfer certificate
|
file |
diff |
annotate
|
| Thu, 11 Mar 2010 09:09:43 +0100 |
haftmann |
made smlnj happy
|
file |
diff |
annotate
|
| Tue, 09 Mar 2010 21:19:49 +0100 |
haftmann |
clarified transfer code proper; more natural declaration of return rules
|
file |
diff |
annotate
|
| Tue, 09 Mar 2010 18:31:37 +0100 |
haftmann |
data administration using canonical functorial operations
|
file |
diff |
annotate
|
| Tue, 09 Mar 2010 16:15:19 +0100 |
haftmann |
tuned data structures; using AList.map_default
|
file |
diff |
annotate
|
| Tue, 09 Mar 2010 15:47:16 +0100 |
haftmann |
consistent field names; tuned interface
|
file |
diff |
annotate
|
| 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
|