Skip to main content

Browse the archive

Revision 71b03bd8de07de0f60945288eba333e41a788052 authored by François Dupressoir on 02 February 2016, 10:49:47 UTC, committed by François Dupressoir on 02 February 2016, 10:49:47 UTC 
NewDistr: fixing drat spec.
 
Also marking one place where a lemma from Distr is used and needs to be
ported over.
1 parent e71af98
History
File Mode Size
emacs-based
.gitignore -rw-r--r-- 75 bytes
back to top