Cross Reference: /hets/THF/Test/Spec-THFX

	Spec-THFX revision 8c030738bc90ffb417074a9502c0bac2ed414e2e
logic THF.THFX serialization THF

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] )).