ceriel 4f0cb4abe1 Added Rcs Id 37 years ago
..
Makefile 49fc462ee5 *** empty log message *** 37 years ago
READ_ME fee336890b Placed a few dot on e few i's. 39 years ago
last 5662050ad3 Initial revision 40 years ago
ok 5662050ad3 Initial revision 40 years ago
select.c 4f0cb4abe1 Added Rcs Id 37 years ago
test.e 5662050ad3 Initial revision 40 years ago
test.h 4f0cb4abe1 Added Rcs Id 37 years ago
tests c094aebd80 Select did not handle these HOL's 37 years ago