test-suite/ide/proof-diffs.fake


1
2
3
4
5
6
7
8
9
10

ADD { Goal True /\ False /\ True = False. }
ADD { split. }
GOALS
ADD here { split. }
GOALS
PDIFF here
ADD there { auto. }
GOALS
PDIFF there
ADD { Admitted. }