Wed, 21 Oct 2009 00:36:12 +0200 |
wenzelm |
standardized basic operations on type option;
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 00:52:37 +0200 |
wenzelm |
explicitly qualify Drule.standard;
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 23:28:10 +0200 |
wenzelm |
replaced String.concat by implode;
|
file |
diff |
annotate
|
Mon, 28 Sep 2009 10:20:21 +0200 |
haftmann |
avoid compound fields in datatype info record
|
file |
diff |
annotate
|
Sun, 27 Sep 2009 19:58:24 +0200 |
haftmann |
adjusted to changes in datatype package
|
file |
diff |
annotate
|
Sun, 26 Jul 2009 18:57:11 +0200 |
wenzelm |
SUBPROOF/Obtain.result: named params;
|
file |
diff |
annotate
|
Fri, 24 Jul 2009 18:58:58 +0200 |
wenzelm |
renamed functor ProjectRuleFun to Project_Rule;
|
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
|
Wed, 22 Jul 2009 14:20:32 +0200 |
haftmann |
set intersection and union now named inter and union
|
file |
diff |
annotate
|
Wed, 22 Jul 2009 08:05:33 +0200 |
haftmann |
explicit antiquotation
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 15:52:30 +0200 |
haftmann |
dropped ancient flat_names option
|
file |
diff |
annotate
|
Wed, 15 Jul 2009 23:48:21 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Fri, 03 Jul 2009 16:51:08 +0200 |
haftmann |
nominal.ML is nominal_datatype.ML
|
file |
diff |
annotate
| base
|