All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • pure.Theory.scala Maven / Gradle / Ivy

    There is a newer version: 1.1.0-RC3
    Show newest version
    package edu.tum.cs.isabelle.pure

import edu.tum.cs.isabelle.System

case class Theory(system: System, name: String)




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy