The theory gst
Overview
Introduction
Axioms
Functions
Sums and Products
Fixedpoints
Recursion
Lists
Proof Context