# -*- shell-script -*- :mode=shellscript:

isabelle_scala_service 'isabelle.nitpick.Kodkod$Handler'
isabelle_scala_service 'isabelle.nitpick.Scala_Functions'

ISABELLE_ATP="$COMPONENT/ATP"
