Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
00README.txt | 2005-09-06 16:09 | 235 | ||
faire | 2005-09-06 21:23 | 345 | ||
lo.bib | 2005-08-31 15:48 | 2.9K | ||
coqide-geometric.eps | 2005-09-07 13:00 | 133K | ||
coqide-binomial.eps | 2005-09-07 13:26 | 148K | ||
rapport.tex | 2005-09-12 14:34 | 149K | ||
coqide-bernoulli-hyp.eps | 2005-09-07 13:10 | 152K | ||
coqide-bernoulli.eps | 2005-09-07 13:25 | 173K | ||
rapport.dvi | 2005-09-07 13:30 | 195K | ||
coqide-bernoulli-demo.eps | 2005-09-07 13:06 | 196K | ||
pcaml-bernoulli.eps | 2005-09-07 13:15 | 223K | ||
rapport.pdf | 2005-09-07 13:30 | 725K | ||