diff options
| author | Tanaka Akira | 2019-02-11 15:02:59 +0900 |
|---|---|---|
| committer | Tanaka Akira | 2019-02-11 15:02:59 +0900 |
| commit | 3e9c1312250acd4b1e791d5d35ce6581cbe30caf (patch) | |
| tree | 0c7deb77bcd8c71253594a7adc51c5d5985aeeb9 /dev/include | |
| parent | b9c75963bccb690e16207f9fe4ce23c5e9318ee6 (diff) | |
Use math mode more.
Also quoted parts are emphasized as coq-8.7.2-reference-manual.pdf.
And two "x:T" are quoted.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions