add titles

UniMath · May 25, 2019 · 9fe279c · 9fe279c
1 parent 911bf18
commit 9fe279c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/papers.bib b/papers.bib
@@ -934,19 +934,19 @@ @article{Le-premises
 @Misc{circlerec-Dan,
  author = {Grayson, Dan},
  howpublished = {\url{https://github.com/UniMath/UniMath/blob/master/UniMath/SyntheticHomotopyTheory/Circle.v}},
- title = {Circle.v}
+ title = {The file containing the proof of circle recursion}
  }
 
 @Misc{circleind-Dan,
  author = {Grayson, Dan},
+ title = {The file containing the proof of circle induction},
  howpublished = {\url{https://github.com/UniMath/UniMath/blob/master/UniMath/SyntheticHomotopyTheory/Circle2.v}},
- title = {Circle2.v}
  }
 
 @Misc{circleind-Dan-theorem,
  author = {Grayson, Dan},
+ title = {The statement and proof of the circle induction theorem, a snapshot},
  howpublished = {\url{https://github.com/UniMath/UniMath/blob/d5e570ba972bca92ec6b9023e5166034b0d79654/UniMath/SyntheticHomotopyTheory/Circle2.v\#L268}},
- title = {Circle2.v}
  }
 
 @Misc{circleind-Mike,