ceriel
|
0e397f09f3
|
many changes; some cosmetic; coercions now explicit in tree
|
1987-07-30 13:37:39 +00:00 |
|
|
ceriel
|
de55f34bbd
|
name changes, fix in computation of set sizes
|
1987-07-17 13:50:04 +00:00 |
|
|
ceriel
|
ed2d6ab75b
|
some changes to make smaller
|
1987-05-21 09:37:28 +00:00 |
|
|
ceriel
|
fbc0415761
|
make to work on sun, added copyright, etc
|
1987-04-29 10:22:07 +00:00 |
|
|
ceriel
|
da54801353
|
newer version
|
1986-11-26 16:40:45 +00:00 |
|
|
ceriel
|
3030eb8cae
|
newer version
|
1986-10-06 20:36:30 +00:00 |
|
|
ceriel
|
965e75761d
|
newer version
|
1986-07-08 14:59:02 +00:00 |
|
|
ceriel
|
bcfca75b56
|
newer version
|
1986-06-26 09:39:36 +00:00 |
|
|
ceriel
|
ec528b797e
|
newer version
|
1986-06-10 13:18:52 +00:00 |
|
|
ceriel
|
1cfe2b5dac
|
newer version
|
1986-05-23 09:46:31 +00:00 |
|