Commit 33574613 authored by Florian Rabe's avatar Florian Rabe

no message

parent 6a9580ee
......@@ -8,9 +8,9 @@ theory Propositions =
theory Proofs =
include ?Propositions❙
ded : prop ⟶ type❘# ⊦ 1 prec -5❘role Judgement❙
ded : prop ⟶ type❘# ⊦ 1 prec -5❘ role Judgment❙
inconsistent : type❘= {a} ⊦ a❘# ↯❘role Judgement❙
inconsistent : type❘= {a} ⊦ a❘# ↯❘role Judgment❙
inconsistentE : inconsistent ⟶ {a} ⊦ a❘= [p,a] p a❘# 1 inconE %I2❙
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment