test_theory_expl.why 70 Bytes
Newer Older
1 2 3 4 5 6

theory T "expl:my explanation"

  goal g "expl:my goal" : false

end