From: coquand <coquand@chalmers.se>
Date: Fri, 3 Jul 2015 11:30:17 +0000 (+0200)
Subject: update README
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=026003d88c72809c11b3642c49c8d0a4c8e6f1f5;p=cubicaltt.git

update README
---

diff --git a/README.md b/README.md
index 48acfff..72c45fb 100644
--- a/README.md
+++ b/README.md
@@ -69,9 +69,6 @@ References and notes
    sets](http://www.cse.chalmers.se/~coquand/vv.pdf) - main
    definitions towards a formalization
 
- * [Lecture Notes on Cubical
-   sets](http://www.cse.chalmers.se/~coquand/course3.pdf)
-
  * [A Cubical Approach to Synthetic Homotopy
    Theory](http://dlicata.web.wesleyan.edu/pubs/lb15cubicalsynth/lb15cubicalsynth.pdf),
    Dan Licata, Guillaume Brunerie.