ceriel 32d38f3eb8 two versions of the parameters file: small and large 36 years ago
..
basic 81b1d21c35 Initial revision 37 years ago
cem ec612942a1 a minor mod 36 years ago
m2 32d38f3eb8 two versions of the parameters file: small and large 36 years ago
occam 5d861a3399 made to work 36 years ago
pc b671136060 don't generate HOL's of zero size 36 years ago
.distr 81b1d21c35 Initial revision 37 years ago