D/clib////
D/debug////
D/editor////
D/ensemble////
D/filter////
D/library////
D/mk////
D/mllib////
D/refiner////
D/theories////
D/util////
/.cpdir/1.3/Sun May 23 21:54:23 1999//TCS101C
/.cprc/1.3/Sun May 23 21:54:23 1999//TCS101C
/BUGS/1.58/Wed Mar 19 02:23:48 2003//TCS101C
D/bin////
D/lib////
D/patches////
D/doc////
/README/1.24/Mon Apr 21 12:53:26 2003//TCS101C
/.cvsignore/1.3/Wed Apr 30 22:33:15 2003//TCS101C
D/support////
/Makefile/1.77/Fri May 23 05:34:05 2003//TCS101C
