Skip to content
Browse files

Typo

  • Loading branch information...
1 parent 7e9a420 commit 72fb27aad8f4a1bd542e5423d5442a0d9e674529 @andrejbauer andrejbauer committed Oct 6, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 INSTALL.txt
View
2 INSTALL.txt
@@ -19,7 +19,7 @@
make
4. You can now use the HoTT library in place by running ./hoqtop and ./hoqc.
- The library is loaded with `Require Import HoTT.Hopotopy`.
+ The library is loaded with `Require Import HoTT.Homotopy`.
5. You can install the library globally with `make install`.

0 comments on commit 72fb27a

Please sign in to comment.
Something went wrong with that request. Please try again.