-------------

Contents of cal-cesp

 COPYRIGHT
 COPYRIGHT.j
 COPYRIGHT.tex
 FILES
 INSTALL
 INSTALL.j
 README
 README.j
 cal.package.tar
 man/Fig1.ps
 man/Fig2.ps
 man/Fig3.ps
 man/Fig4.ps
 man/Fig5.ps
 man/Fig6.ps
 man/Fig7.ps
 man/Fig8.ps
 man/Fig9.ps
 man/Fig10.ps
 man/Fig11.ps
 man/Fig12.ps
 man/Fig13.ps
 man/Fig14.ps
 man/users_manual.tex

Contents of cal.package.tar

 cal/cal.comp.com
 cal/cal.init
 cal/cal.load.com
 cal/esprc
 cal/sample/
 cal/sample/benchmark.query
 cal/sample/alg/
 cal/sample/alg/ham.cal
 cal/sample/alg/heron.cal
 cal/sample/alg/lagrange.cal
 cal/sample/alg/robot.cal
 cal/sample/alg/heron.query
 cal/sample/alg/robot.query
 cal/sample/bool/
 cal/sample/bool/carroll.cal
 cal/sample/bool/carroll_m.cal
 cal/sample/bool/count.cal
 cal/sample/bool/count_buch.cal
 cal/sample/bool/count_m.cal
 cal/sample/bool/cross.cal
 cal/sample/bool/queen.cal
 cal/sample/smplx/
 cal/sample/smplx/exercise1_2.cal
 cal/sample/smplx/exercise1_3.cal
 cal/sample/smplx/exercise1_4.cal
 cal/sample/smplx/exercise1_6.cal
 cal/sample/smplx/exercise2_3.cal
 cal/sample/smplx/exercise2_4.cal
 cal/sample/smplx/exercise3_1.cal
 cal/sample/smplx/exercise3_2.cal
 cal/sample/smplx/exercise3_3.cal
 cal/sample/smplx/exercise4_1.cal
 cal/sample/smplx/exercise4_2.cal
 cal/sample/smplx/exercise5_1.cal
 cal/sample/smplx/seq.cal
 cal/sample/smplx/square.cal
 cal/system/
 cal/system/C-emacs_tree.esp
 cal/system/control.esp
 cal/system/gmplong.c
 cal/system/context.esp
 cal/system/bool_212.slv.esp
 cal/system/bool_m212.slv.esp
 cal/system/bool_w212.slv.esp
 cal/system/ctree.esp
 cal/system/ecwindow.esp
 cal/system/gmpfind.esp
 cal/system/gmplong.esp
 cal/system/astrnd.esp
 cal/system/pre210.esp
 cal/system/newalg.slv.esp
 cal/system/prolog.esp
 cal/system/setgb212.slv.esp
 cal/system/smplx212.slv.esp
 cal/system/translate.esp
 cal/system/trnode.esp
 cal/system/cal.load.com
 cal/system/esprc
 cal/system/README
