-- # Software Tools for Discrete Mathematics
module Stdm09InductiveSets where

-- # Chapter 9. Inductively defined sets