The core of ATSLIB/prelude (ATSPRE) can
now be browsed on-line:
http://www.ats-lang.org/Libraries.html#ATSPRE
There is a syntax-highlighted version right now.
In the future, I plan to provide a version that contains links for
cross-referencing.
Cheers!