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

module OWL2.Raw where

open import OWL2.Raw.Provenance public
open import OWL2.Raw.Syntax public