diff options
| author | Hugo Herbelin | 2019-12-14 14:13:21 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2019-12-14 14:13:21 +0100 |
| commit | 7a9df17e8520fe1b7dc6a236ef320469a8964c9f (patch) | |
| tree | 4ffc43abe432a15c7b789579e484b334e2f85bd4 | |
| parent | 0ad6e13fc3065c6ff1eefa87c8a709fdf5602b0a (diff) | |
Being explicit on existence of a remote link.
| -rw-r--r-- | theories/Logic/Hurkens.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Logic/Hurkens.v b/theories/Logic/Hurkens.v index 9aed952183..d9e89d6b91 100644 --- a/theories/Logic/Hurkens.v +++ b/theories/Logic/Hurkens.v @@ -72,7 +72,7 @@ - [[Geuvers01]] H. Geuvers, "Inconsistency of Classical Logic in Type Theory", 2001, revised 2007 - (see {{http://www.cs.ru.nl/~herman/PUBS/newnote.ps.gz}}). + (see external link {{http://www.cs.ru.nl/~herman/PUBS/newnote.ps.gz}}). *) |