tuned notation
075c0450120d
Actions

Description

tuned notation

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

thys/

Saturation_Framework/

Saturation_Framework_Extensions/

rAFP075c0450120d

thys/Saturation_Framework/Calculus.thy

thys/Saturation_Framework/Calculus_Variations.thy

thys/Saturation_Framework/Given_Clause_Architectures.thy

thys/Saturation_Framework_Extensions/FO_Ordered_Resolution_Prover_Revisited.thy

thys/Saturation_Framework_Extensions/Soundness.thy

tuned notation075c0450120dActions

Description

Details

Changes (5)

rAFP075c0450120d

thys/Saturation_Framework/Calculus.thy

thys/Saturation_Framework/Calculus_Variations.thy

thys/Saturation_Framework/Given_Clause_Architectures.thy

thys/Saturation_Framework_Extensions/FO_Ordered_Resolution_Prover_Revisited.thy

thys/Saturation_Framework_Extensions/Soundness.thy

tuned notation
075c0450120d
Actions