blob: e49449679f28ed9848eb9b6f3e084f7bff394fab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
1 goal
============================
exists I : True, I = Logic.I
1 goal
============================
f True False True False (Logic.True /\ Logic.False)
1 goal
============================
[I | I = Logic.I; I = Logic.I] = [I | I = Logic.I; I = Logic.I]
1 goal
============================
[I & I = Logic.I | I = Logic.I; Logic.I = I]
|
