diff options
| author | Gaëtan Gilbert | 2018-11-06 14:41:56 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-11-22 13:33:22 +0100 |
| commit | a7cf802627a9842862c6290496d73a815ab2f42b (patch) | |
| tree | a059410470ecdcef666df53a36c995ff3b11e090 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 2d0be200ab9a2e3a0ff7b383078aabe70f24dd82 (diff) | |
Deprecate Typeclasses Axioms Are Instances
People should use Declare Instance instead.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions