{-# OPTIONS --safe --without-K #-}
module IS4.Norm where

open import IS4.Norm.Base                    public
open import IS4.Norm.Properties.Completeness public
open import IS4.Norm.Properties.Soundness    public

Generated from commit 2fd14c996b195ef101dff8919e837907ca0a08aa.