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