discrimination.gen 146 Bytes
Newer Older
1 2 3 4 5 6 7
theory BuiltIn
  meta "select_inst" "goal"
  meta "select_kept" "goal"
  meta "select_lskept" "nothing"
  meta "completion_mode" "only_kept"
end