aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/SearchRewrite.out
blob: 5edea5dff6bb591d64849b7dbf14a526cdf778ee (plain)
1
2
3
4
5
plus_n_O: forall n : nat, n = n + 0
plus_O_n: forall n : nat, 0 + n = n
h: n = newdef n
h: n = newdef n
h: n = newdef n