Diffusion Isabelle 52c7c42e7e27

code antiquotation roaring ahead
52c7c42e7e27
Actions

Tags

None

Subscribers

None

Description

code antiquotation roaring ahead

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE58b695d10cdf: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLE52eadb60499f: proper p' instead of p (amending 52c7c42e7e27);.Oct 18 2021, 7:08 PM

Changes (12)

Path

Size

ReflectedFerrack.thy

Reflected_Presburger.thy

rISABELLE52c7c42e7e27

src/HOL/Complex/ex/MIR.thy

Loading...

src/HOL/Complex/ex/ReflectedFerrack.thy

Loading...

src/HOL/Complex/ex/mireif.ML

Loading...

src/HOL/Complex/ex/mirtac.ML

Loading...

src/HOL/IsaMakefile

Loading...

src/HOL/ex/Reflected_Presburger.thy

Loading...

src/HOL/ex/coopereif.ML

Loading...