discrimination.gen 167 Bytes
Newer Older
1
theory BuiltIn
2 3 4 5
  meta "select_inst_default" "goal"
  meta "select_lskept_default" "goal"
  meta "select_lsinst_default" "goal"
  meta "select_kept_default" "all"
6 7
end