cvs2hg 42e84d8dd2 fixup commit for tag 'distr3' 35 년 전
..
.distr 81b1d21c35 Initial revision 37 년 전
Makefile 49fc462ee5 *** empty log message *** 37 년 전
READ_ME fee336890b Placed a few dot on e few i's. 39 년 전
ok 5662050ad3 Initial revision 39 년 전
select.c 4f0cb4abe1 Added Rcs Id 37 년 전
test.h 4f0cb4abe1 Added Rcs Id 37 년 전
tests c094aebd80 Select did not handle these HOL's 37 년 전