diff options
Diffstat (limited to 'Empty.thy')
-rw-r--r-- | Empty.thy | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -14,8 +14,8 @@ section \<open>Constants and type rules\<close> section \<open>Empty type\<close> axiomatization - Empty :: Term ("\<zero>") and - indEmpty :: "Term \<Rightarrow> Term" ("(1ind\<^sub>\<zero>)") + Empty :: t ("\<zero>") and + indEmpty :: "t \<Rightarrow> t" ("(1ind\<^sub>\<zero>)") where Empty_form: "\<zero>: U O" and |