Tutorial: theorems.rst add hints.

Idris-zh · Mar 16, 2018 · 951a00b · 951a00b
1 parent 5b04033
commit 951a00b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/tutorial/theorems.rst b/docs/tutorial/theorems.rst
@@ -8,8 +8,6 @@
 .. Theorem Proving
 .. ***************
 
-.. hints:: 本文复杂句式和术语较多，译者尚不能驾驭，因此给出部分原文，敬请谅解。
-
 相等性
 ========
 
@@ -20,6 +18,8 @@
 .. programs to be stated and proved. Equality is built in, but conceptually
 .. has the following definition:
 
+.. hints:: 本文复杂句式和术语较多，译者尚不能驾驭，因此给出部分原文，敬请谅解。
+
 Idris 可以声明命题的相等性，陈述并证明有关程序的定理。
 相等性已经内置，其概念上的定义如下：