diff options
| author | Matej Kosik | 2015-10-29 11:58:21 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:09 +0100 |
| commit | 660725e70918366d9f07183ae76c5a6284f81cc9 (patch) | |
| tree | 365a9076a2fc34c68e189f0c48e68c3febd6f702 /plugins/decl_mode/ppdecl_proof.ml | |
| parent | 5fbc2c5148fb6c4e77bf4c1c1a3854ed2fc0ed01 (diff) | |
TYPOGRAPHY: 'non dependent product', just like 'dependent product' is now emphasized
Diffstat (limited to 'plugins/decl_mode/ppdecl_proof.ml')
0 files changed, 0 insertions, 0 deletions