diff options
| -rw-r--r-- | tests/Test.thy (renamed from HoTT_Test.thy) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/HoTT_Test.thy b/tests/Test.thy index da044b4..433039c 100644 --- a/HoTT_Test.thy +++ b/tests/Test.thy @@ -1,4 +1,4 @@ -(* Title: HoTT/HoTT_Test.thy +(* Title: HoTT/tests/Test.thy Author: Josh Chen Date: Aug 2018 |