Calculemus

goals Type

Namespace: Calculemus
Assembly: Calculemus.dll
Parent Module: Tactics
Base Type: obj

Union cases

Union case Description

Goals(((string * formula<fol>) list * formula<fol>) list, thm list -> thm)

Full Usage: Goals(((string * formula<fol>) list * formula<fol>) list, thm list -> thm)

Parameters:
Item1 : ((string * formula<fol>) list * formula<fol>) list
Item2 : thm list -> thm