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

open import IS4.Term.NormalForm.Base       public
open import IS4.Term.NormalForm.Properties public

Generated from commit 2fd14c996b195ef101dff8919e837907ca0a08aa.