From 515872533295e8464799467303fff923b52a2c01 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 15 Sep 2018 20:51:39 +0200
Subject: begin reorganizing

---
 tests/Test.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/Test.thy')

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>
 
-- 
cgit v1.2.3

