Exp Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: ProofTree
Base Type: obj
All Interfaces: IEquatable<Exp> , IStructuralEquatable , IComparable<Exp> , IComparable , IStructuralComparable

Union cases

Union case Description

Goal(term list, term)

Full Usage: Goal(term list, term)

Parameters:
Item1 : term list
Item2 : term

InstTmLst (term * term) list

Full Usage: InstTmLst (term * term) list

Parameters:
Item : (term * term) list

InstTyLst (hol_type * hol_type) list

Full Usage: InstTyLst (hol_type * hol_type) list

Parameters:
Item : (hol_type * hol_type) list

NullExp

Full Usage: NullExp

Te term

Full Usage: Te term

Parameters:
Item : term

TeLst term list

Full Usage: TeLst term list

Parameters:
Item : term list

Th thm

Full Usage: Th thm

Parameters:
Item : thm

Tye hol_type

Full Usage: Tye hol_type

Parameters:
Item : hol_type