test-suite/output/simpl.out


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