Base.Base

HOcore.Prelim

HOcore.ComplLat

HOcore.Compat

HOcore.CondClos

HOcore.HoCore

HOcore.Multiset

HOcore.Ren

HOcore.Subst

HOcore.Bis

HOcore.BisDecInjRen

HOcore.BisSubstit

HOcore.BisCongr

HOcore.UpToNu

HOcore.IoCxtBis

HOcore.IoMultiBis

HOcore.InclIoMultiBisIoCxtBis

HOcore.InclIoCxtBisIoRemBis

HOcore.InclIoRemBisIoMultiBis