cvs2hg 42e84d8dd2 fixup commit for tag 'distr3'

1989-10-04 10:56:17 +00:00

..

.distr

Initial revision

1987-04-13 10:32:47 +00:00

Makefile

*** empty log message ***

1987-03-09 10:43:44 +00:00

ok

Initial revision

1985-01-01 19:30:24 +00:00

READ_ME

Placed a few dot on e few i's.

1985-02-11 14:32:02 +00:00

select.c

Added Rcs Id

1987-03-10 09:24:02 +00:00

test.h

Added Rcs Id

1987-03-10 09:24:02 +00:00

tests

Select did not handle these HOL's

1987-03-09 12:42:42 +00:00