Wed, 26 Apr 2006 22:40:46 +0200 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
Wed, 26 Apr 2006 22:38:16 +0200 |
wenzelm |
curried Seq.cons;
|
changeset |
files
|
Wed, 26 Apr 2006 22:38:11 +0200 |
wenzelm |
removed splitAt (superceded by chop);
|
changeset |
files
|
Wed, 26 Apr 2006 22:38:05 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Wed, 26 Apr 2006 20:34:11 +0200 |
wenzelm |
removed obsolete expand_case_tac;
|
changeset |
files
|
Wed, 26 Apr 2006 14:19:13 +0200 |
haftmann |
fixed silly symlink bug
|
changeset |
files
|
Wed, 26 Apr 2006 07:02:04 +0200 |
kleing |
added Ben Porter's stuff
|
changeset |
files
|
Wed, 26 Apr 2006 07:01:33 +0200 |
kleing |
moved arithmetic series to geometric series in SetInterval
|
changeset |
files
|
Tue, 25 Apr 2006 22:23:58 +0200 |
wenzelm |
Sign.arity_sorts;
|
changeset |
files
|
Tue, 25 Apr 2006 22:23:50 +0200 |
wenzelm |
unlocalize_mixfix: fallback on NoSyn;
|
changeset |
files
|
Tue, 25 Apr 2006 22:23:41 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 25 Apr 2006 22:23:30 +0200 |
wenzelm |
refer to structure Type instead of Sorts;
|
changeset |
files
|