The section consists of modules implementing sorting, the abstract type of finite sets, operations on finite relations (finite sets of pairs), and the abstract type of finite tables.
Forlan Version 4.2 Copyright © 2000-2011 Alley Stoughton