The section list 1 is from the " Standard " part of the library that most developments incorporate.
Another section, list 3 jlc, is among Jim Caldwell's extensions to the standard.
Two more sections, mb list 1 and mb list 2, were developed by Mark Bickford.

The Nuprl list type is explained at List.