changeset 11349 | fcb507c945c3 |
parent 10285 | 6949e17f314a |
child 11368 | 9c1995c73383 |
11348:e08a0855af67 | 11349:fcb507c945c3 |
---|---|
1 |
|
2 @InProceedings{paulin-tlca, |
1 @InProceedings{paulin-tlca, |
3 author = {Christine Paulin-Mohring}, |
2 author = {Christine Paulin-Mohring}, |
4 title = {Inductive Definitions in the System {Coq}: Rules and |
3 title = {Inductive Definitions in the System {Coq}: Rules and |
5 Properties}, |
4 Properties}, |
6 crossref = {tlca93}, |
5 crossref = {tlca93}, |