|
basic
|
Initial revision
|
1987-04-13 10:32:47 +00:00 |
|
cem
|
a minor mod
|
1988-04-07 15:35:48 +00:00 |
|
m2
|
two versions of the parameters file: small and large
|
1988-04-08 10:04:03 +00:00 |
|
occam
|
made to work
|
1988-02-15 18:08:46 +00:00 |
|
pc
|
don't generate HOL's of zero size
|
1988-04-08 09:46:04 +00:00 |
|
.distr
|
Initial revision
|
1987-04-13 10:32:47 +00:00 |
