The base page defines a lot of elementary constructs. A numbered version of the base.lgs source text is here.
Also see the original, unnumbered lgs file, the main pdf, and the document root.