test-and.why 66 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10

theory And

  predicate a

  predicate b

  goal G1 : a && b

end