• Home
• info.hupel
• libisabelle_2.11
• 0.3.4
• source code
• Prop.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

pure.Prop.scala Maven / Gradle / Ivy

package edu.tum.cs.isabelle.pure

class Prop private(term: Term)

object Prop {
  implicit def propTypeable: Typeable[Prop] =
    Typeable.make(Type("prop", Nil))
}