equal
deleted
inserted
replaced
1 |
1 |
2 @InProceedings{Slotosch:1997, |
2 @InProceedings{Slotosch:1997, |
3 author = {Oscar Slotosch}, |
3 author = {Oscar Slotosch}, |
4 title = {FIXME}, |
4 title = {Higher Order Quotients and their Implementation in {Isabelle HOL}}, |
5 crossref = {tphols97}} |
5 crossref = {tphols97}} |
6 |
6 |
7 @InProceedings{paulin-tlca, |
7 @InProceedings{paulin-tlca, |
8 author = {Christine Paulin-Mohring}, |
8 author = {Christine Paulin-Mohring}, |
9 title = {Inductive Definitions in the System {Coq}: Rules and |
9 title = {Inductive Definitions in the System {Coq}: Rules and |