discrimination.gen 136 Bytes
Newer Older
1
theory BuiltIn
2 3 4
  meta "select_inst" "goal"
  meta "select_lskept" "none"
  meta "select_lsinst" "goal"
5
  meta "select_kept" "none"
6 7
end