diff options
| author | Joachim Breitner | 2018-09-16 21:33:13 +0200 |
|---|---|---|
| committer | Joachim Breitner | 2018-09-16 21:33:13 +0200 |
| commit | 69e852924a9419eeff5cf5875f649fd898d2ba07 (patch) | |
| tree | 9508be59c3e77997db149e88839f33add330b031 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 8dff82ee590de2f6f55918d2bbf2a3d0f9a54e65 (diff) | |
Mising prime in the subtyping rules
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions