{-# OPTIONS --safe --cubical #-}

module OWL2.Corpus.Accepted where

open import OWL2.Corpus.Accepted.Kernel public
open import OWL2.Corpus.Accepted.Morphism public
open import OWL2.Corpus.Accepted.OBOGraph public
open import OWL2.Corpus.Accepted.Raw public
open import OWL2.Corpus.Accepted.RawImports public
open import OWL2.Corpus.Accepted.SymbolTable public