diff options
| author | Josh Chen | 2018-09-15 20:51:39 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-15 20:51:39 +0200 |
| commit | 515872533295e8464799467303fff923b52a2c01 (patch) | |
| tree | b3e716b20b152f734d42ed0ed5430d3460284727 /tests/Test.thy | |
| parent | ae909b21905be847a2ce01388e34708c9d0246c0 (diff) | |
begin reorganizing
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> |