HTMLTable GetHeaderRows Method

Returns the <tr> elements under <thead>.

   R←I GetHeaderRows 0
   R←GetHeaderRows I

I is an HTMLTable instance. R is a vector of <tr> elements under <thead>.