aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Intuition.out
blob: f2bf25ca65c34026a11c4853b6dad0c8b3395c1f (plain)
1
2
3
4
5
6
1 subgoal
  
  m, n : Z
  H : (m >= n)%Z
  ============================
  (m >= m)%Z