/Makefile/1.1.1.1/Mon Oct 16 13:33:27 1995//THOL97
/description.tex/1.1.1.1/Mon Oct 16 13:33:29 1995//THOL97
/entries-intro.tex/1.1.1.1/Mon Oct 16 13:33:28 1995//THOL97
/entries.tex/1.1.1.1/Mon Oct 16 13:33:29 1995//THOL97
/index.tex/1.1.1.1/Mon Oct 16 13:33:29 1995//THOL97
/res_quan.tex/1.1.1.1/Mon Oct 16 13:33:28 1995//THOL97
/summacs.tex/1.1.1.1/Mon Oct 16 13:33:28 1995//THOL97
/summary.tex/1.1.1.1/Mon Oct 16 13:33:28 1995//THOL97
/theorems-intro.tex/1.1.1.1/Mon Oct 16 13:33:28 1995//THOL97
/theorems.tex/1.1.1.1/Mon Oct 16 13:33:30 1995//THOL97
/title.tex/1.1.1.1/Mon Oct 16 13:33:28 1995//THOL97
