src/HOL/SPARK/Tools/spark.scala

reinstated intersection of lists as inter_list_set

/*  Title:      HOL/SPARK/Tools/spark.scala
    Author:     Makarius

Scala support for HOL-SPARK.
*/

package isabelle.spark

import isabelle._


object SPARK {
  class Load_Command1 extends Command_Span.Load_Command("spark_vcg", Scala_Project.here) {
    override def toString: String = print_extensions
    override val extensions: List[String] = List("vcg", "fdl", "rls")
  }

  class Load_Command2 extends Command_Span.Load_Command("spark_siv", Scala_Project.here) {
    override def toString: String = print_extensions
    override val extensions: List[String] = List("siv", "fdl", "rls")
  }
}