Joshua Peek 2b36f73da6 Some comments are triggering charlock binary

2012-09-24 10:48:22 -05:00

..

Basics.v

…

Heap.v

…

Imp.v

…

interval_discr.v

…

Lists.v

…

Permutation.v

…

PermutSetoid.v

…

Poly.v

…

Rel.v

…

Smallstep.v

…

Sorting.v

…

Stlc.v

…