path: root/Nominal.lean

import Nominal.Permutations
import Nominal.Support
import Nominal.Equivariance
import Nominal.Category
import Nominal.Instances.Basic
import Nominal.Instances.Abstraction