HomeIsabelle/Phabricator
Diffusion afp-devel f199a36357f5

update PAC_Checker to latest Isabelle
f199a36357f5
Actions

Description

update PAC_Checker to latest Isabelle

Details

Provenance
mathias.fleuryAuthored on
Parents
rAFPb39b8408a202: saturation framework: tiebreaker lifting locale improvement
Branches
Unknown
Tags
Unknown

Event Timeline

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> committed rAFPf199a36357f5: update PAC_Checker to latest Isabelle.Sep 8 2020, 3:48 PM

Changes (5)

PathSize
thys/
PAC_Checker/

rAFPf199a36357f5

View Options

thys/PAC_Checker/PAC_Checker.thy

Loading...
View Options

thys/PAC_Checker/PAC_Checker_Init.thy

Loading...
View Options

thys/PAC_Checker/PAC_Checker_Relation.thy

Loading...
View Options

thys/PAC_Checker/PAC_Polynomials.thy

Loading...
View Options

thys/PAC_Checker/WB_Sort.thy

Loading...