Hets - the Heterogeneous Tool Set

Copyright(c) Jorina F. Gerken, Till Mossakowski, Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Proofs.Local

Description

local proof rules for development graphs Follows Sect. IV:4.4 of the CASL Reference Manual.

Synopsis

Documentation

localInference :: LibName -> LibEnv -> LibEnv

local inference for all edges

locDecomp :: LibName -> LibEnv -> LibEnv

local decomposition for all edges

locDecompFromList :: LibName -> [LEdge DGLinkLab] -> LibEnv -> LibEnv

local decomposition

localInferenceFromList :: LibName -> [LEdge DGLinkLab] -> LibEnv -> LibEnv

local inference