Bug 2767 - Typo in Coq.Init.Specif
: Typo in Coq.Init.Specif
Status: RESOLVED FIXED
Product: Coq
Classification: Unclassified
Component: Doc
: 8.3
: All All
: P5 trivial
: ---
Assigned To: nobody
http://coq.inria.fr/stdlib/Coq.Init.S...
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2012-04-26 14:47 CEST by Valentin Robert
Modified: 2012-05-09 15:30 CEST (History)
1 user (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Valentin Robert 2012-04-26 14:47:20 CEST
Unless I am mistaken, the example:

{x:A & (P x)}

should read:

{x:A | (P x)}

in the paragraph "Projections of sig".
Comment 1 Pierre Boutillier 2012-05-09 15:30:06 CEST
Right. Fixed. Thanks.(r15291)