1 files changed, 4 insertions, 4 deletions
diff --git a/Nat.thy b/Nat.thy
index e879c92..a82e7cb 100644
--- a/Nat.thy
+++ b/Nat.thy
@@ -12,10 +12,10 @@ begin
 section \<open>Constants and type rules\<close>
 
 axiomatization
-  Nat :: Term   ("\<nat>") and
-  zero :: Term  ("0") and
-  succ :: "Term \<Rightarrow> Term" and
-  indNat :: "[[Term, Term] \<Rightarrow> Term, Term, Term] \<Rightarrow> Term"  ("(1ind\<^sub>\<nat>)")
+  Nat :: t   ("\<nat>") and
+  zero :: t  ("0") and
+  succ :: "t \<Rightarrow> t" and
+  indNat :: "[[t, t] \<Rightarrow> t, t, t] \<Rightarrow> t"  ("(1ind\<^sub>\<nat>)")
 where
   Nat_form: "\<nat>: U O"
 and