diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-04 08:47:15 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-12-10 09:35:05 +0100 |
| commit | 75896eaaf60ce947e1fbc5a795ca5969bb1e4fae (patch) | |
| tree | c9b000ca8676a1f2906890ce3db947334bf2a923 /doc/common | |
| parent | cd31e372c6fb25769c26879f2f65f1937d098b87 (diff) | |
RefMan, ch. 4: Dropping the "Co" which noone uses in "(Co)Inductive".
Diffstat (limited to 'doc/common')
0 files changed, 0 insertions, 0 deletions