info.hupel.isabelle

hol

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
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. implicit class BoolExprOps extends AnyRef

  2. implicit class HOLExprOps[A] extends AnyRef

Value Members

  1. object HOLogic

  2. implicit def bigIntTypeable: Embeddable[BigInt]

  3. implicit def boolTypeable: Embeddable[Boolean]

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

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

    Definition Classes
    LowPriorityImplicits

Inherited from LowPriorityImplicits

Inherited from AnyRef

Inherited from Any

Ungrouped