goal Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: ProofTree
Abbreviation For: term list * term
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

Instance members

Instance member Description

this.Item1

Full Usage: this.Item1

Returns: term list
Returns: term list

this.Item2

Full Usage: this.Item2

Returns: term
Returns: term