Updates

{-# OPTIONS --rewriting --confluence-check #-}

module Properties.Updates where
  open import Notation.Updates public