HomeIsabelle/Phabricator
Diffusion afp-devel 9038bb20f96b

added code-unfold lemma
9038bb20f96b
Actions

Description

added code-unfold lemma

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP8fd56a4b09e6: fix(ML_Unification) remove temporary files
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP9038bb20f96b: added code-unfold lemma.Oct 13 2023, 2:27 PM

Changes (1)

PathSize
thys/
Polynomial_Interpolation/

rAFP9038bb20f96b

View Options

thys/Polynomial_Interpolation/Is_Rat_To_Rat.thy

Loading...