ceriel 7e9733350e Added Rcs Id

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

..

last

Initial revision

1985-01-01 19:30:24 +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.e

Initial revision

1985-01-01 19:30:24 +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