Source code on Github
module abstract-set-theory where

open import Axiom.Set
open import Axiom.Set.Properties
open import Axiom.Set.Rel
open import Axiom.Set.Map
open import Axiom.Set.Map.Dec
open import Axiom.Set.Sum
open import Axiom.Set.List
open import Axiom.Set.Predicates
open import Axiom.Set.Factor
open import Axiom.Set.TotalMap
open import Axiom.Set.TotalMapOn

open import abstract-set-theory.FiniteSetTheory