aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/simpl.out
blob: 526e468f5b8452fa8b1edf33bab7c6c368351672 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
1 subgoal
  
  x : nat
  ============================
  x = S x
1 subgoal
  
  x : nat
  ============================
  0 + x = S x
1 subgoal
  
  x : nat
  ============================
  x = 1 + x