etnms/algorithm.aux
changeset 96 abad02dd7719
parent 95 c969a973fcae
child 97 0a6cd528abf2
equal deleted inserted replaced
95:c969a973fcae 96:abad02dd7719
     1 \relax 
       
     2 \providecommand \oddpage@label [2]{}
       
     3 \@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces ders2forSEQ($r_1$,$r_2$,$s$)}}{1}}