diff options
Diffstat (limited to 'Unit.thy')
-rw-r--r-- | Unit.thy | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -16,7 +16,7 @@ axiomatization pt :: Term ("\<star>") and indUnit :: "[Term, Term] \<Rightarrow> Term" ("(1ind\<^sub>\<one>)") where - Unit_form: "\<one>: U(O)" + Unit_form: "\<one>: U O" and Unit_intro: "\<star>: \<one>" and |