Package

info.hupel.isabelle

hol

Permalink

package hol

Linear Supertypes
LowPriorityImplicits, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. hol
  2. LowPriorityImplicits
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. implicit class BoolExprOps extends AnyRef

    Permalink

  2. implicit class HOLExprOps[A] extends AnyRef

    Permalink

Value Members

  1. object HOLogic

    Permalink

  2. implicit def bigIntTypeable: Embeddable[BigInt]

    Permalink

  3. implicit def boolTypeable: Embeddable[Boolean]

    Permalink

  4. implicit def listEmbeddable[T](implicit arg0: Embeddable[T]): Embeddable[List[T]]

    Permalink

  5. implicit def listTypeable[T](implicit arg0: Typeable[T]): Typeable[List[T]]

    Permalink
    Definition Classes
    LowPriorityImplicits

Inherited from LowPriorityImplicits

Inherited from AnyRef

Inherited from Any

Ungrouped