/READ-ME/1.1/Thu Aug  5 12:49:56 1999//
/binomial-bib.tex/1.1/Thu Aug  5 12:49:56 1999//
/binomial.tex/1.1/Thu Aug  5 12:49:56 1999//
/references.tex/1.1/Thu Aug  5 12:50:02 1999//
/theories.tex/1.2/Mon Nov  1 15:16:52 1999//
/tool.tex/1.2/Mon Nov  1 15:16:52 1999//
/tutorial.hva/1.1/Thu Oct 28 12:12:19 1999//
/more-examples.tex/1.2/Mon Nov  8 11:25:37 1999//
D/binomial////
/preface.tex/1.8/Mon Jan 10 12:17:47 2000//
/tutorial.tex/1.8/Sat Feb 19 08:01:36 2000//
/Makefile/1.4/Tue Apr 11 16:10:25 2000//
/.cvsignore/1.1/Fri Apr 21 13:15:36 2000//
/combin.tex/1.6/Tue Apr 17 09:51:23 2001//
/euclid.tex/1.14/Thu Jun 14 11:43:06 2001//
/intro.tex/1.14/Thu Jun 14 11:43:06 2001//
/logic.tex/1.9/Thu Jun 14 11:43:06 2001//
/ml.tex/1.10/Thu Jun 14 11:43:06 2001//
/parity.tex/1.7/Thu Jun 14 11:43:06 2001//
/proof.tex/1.9/Thu Jun 14 11:43:06 2001//
/title.tex/1.9/Thu Jun 14 11:43:06 2001//
