The theory of lists in GST
Overview
Introduction
Lists
Proof Context