HomeIsabelle/Phabricator
Diffusion afp-devel 91ce4a639768

comments in saturation framework
91ce4a639768
Actions

Description

comments in saturation framework

Details

Provenance
Sophie Tourret <stourret@mpi-inf.mpg.de>Authored on
Parents
rAFPf22a73cc49a1: tuned arrows, and proofs
Branches
Unknown
Tags
Unknown

Event Timeline

Sophie Tourret <stourret@mpi-inf.mpg.de> committed rAFP91ce4a639768: comments in saturation framework.Aug 31 2020, 4:55 PM

Changes (2)

PathSize
thys/
Saturation_Framework/

rAFP91ce4a639768

View Options

thys/Saturation_Framework/Calculus.thy

Loading...
View Options

thys/Saturation_Framework/Given_Clause_Architectures.thy

Loading...