diff options
Diffstat (limited to 'tests/Test.thy')
| -rw-r--r-- | tests/Test.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/Test.thy b/tests/Test.thy index b0eb87a..de65dbd 100644 --- a/tests/Test.thy +++ b/tests/Test.thy @@ -23,7 +23,7 @@ declare[[unify_trace_simp, unify_trace_types, simp_trace, simp_trace_depth_limit \<comment> \<open>Turn on trace for unification and the simplifier, for debugging.\<close> -section \<open>\<Pi>-type\<close> +section \<open>\<Prod>-type\<close> subsection \<open>Typing functions\<close> |