{- |

Proofs in development graphs.

Follows Sect. IV:4.4 of the CASL Reference Manual.

"Proofs.Proofs" main module for proof calculus

-}

module Proofs where