https://github.com/c-corn/corn
Tip revision: de2fe65fe9cb65de6411202f62c0abfb1570ec97 authored by Robbert Krebbers on 08 March 2018, 21:30:34 UTC
Get rid of `'` to provide compatibility with https://github.com/coq/coq/pull/6155
Get rid of `'` to provide compatibility with https://github.com/coq/coq/pull/6155
Tip revision: de2fe65
File | Mode | Size |
---|---|---|
Calculemus2011.v | -rw-r--r-- | 4.9 KB |
Circle.v | -rw-r--r-- | 3.4 KB |
IntegrationExamples.v | -rw-r--r-- | 3.1 KB |
LMCS2011.v | -rw-r--r-- | 2.1 KB |
Picard.v | -rw-r--r-- | 5.5 KB |
PlotExamples.v | -rw-r--r-- | 2.7 KB |
RealFast.v | -rw-r--r-- | 4.3 KB |
RealFaster.v | -rw-r--r-- | 2.8 KB |
bigD.v | -rw-r--r-- | 840 bytes |