diff options
Diffstat (limited to 'theories')
| -rw-r--r-- | theories/Logic/Hurkens.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Logic/Hurkens.v b/theories/Logic/Hurkens.v index 0cb2ef5da5..74629fccad 100644 --- a/theories/Logic/Hurkens.v +++ b/theories/Logic/Hurkens.v @@ -29,7 +29,7 @@ Section Paradox. Variable bool : Prop. -Variable p2b : Prop -> bool. +Variable p2b : Prop -> bool. Variable b2p : bool -> Prop. Hypothesis p2p1 : (A:Prop)(b2p (p2b A))->A. Hypothesis p2p2 : (A:Prop)A->(b2p (p2b A)). |