ceriel
|
5d675b2543
|
many changes; some cosmetic; coercions now explicit in tree
|
1987-07-30 13:37:39 +00:00 |
|
ceriel
|
d8a844f0da
|
name changes, fix in computation of set sizes
|
1987-07-17 13:50:04 +00:00 |
|
ceriel
|
f17f36e9a0
|
some changes to make smaller
|
1987-05-21 09:37:28 +00:00 |
|
ceriel
|
ec9929d939
|
make to work on sun, added copyright, etc
|
1987-04-29 10:22:07 +00:00 |
|
ceriel
|
3bc8215b69
|
newer version
|
1986-11-26 16:40:45 +00:00 |
|
ceriel
|
f066c3691d
|
newer version
|
1986-10-06 20:36:30 +00:00 |
|
ceriel
|
250729d441
|
newer version
|
1986-07-08 14:59:02 +00:00 |
|
ceriel
|
d46c6d1cae
|
newer version
|
1986-06-26 09:39:36 +00:00 |
|
ceriel
|
2df2dde564
|
newer version
|
1986-06-10 13:18:52 +00:00 |
|
ceriel
|
deb9ab0461
|
newer version
|
1986-05-23 09:46:31 +00:00 |
|