path	# lines of code
ArithAux.v	121
Fs.v	570
Comp.v	272
RichTextTests.v	153
RichText.v	539
ListTools.v	633
Tree.v	90
SortedTree.v	256
Commons.v	50
Ssromega.v	28
OtDef.v	68
TreeOt.v	323