null

	Spec-THFP revision 06e0297730e16674a727ef4920a7805561ba24b6
logic THF.THFP

spec test =

thf(origin_in_plane,type,(
 origin_in_plane: $real * $real )).

thf(ax_in,axiom,
( origin_in_plane = [0,0] )).

thf(th_in,conjecture,
( origin_in_plane = [0,0] )).