Diffusion Isabelle 703b601d71b5

cleanup of old proofs
703b601d71b5
Actions

Tags

None

Subscribers

None

Description

cleanup of old proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEf8cc3153ac77: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE703b601d71b5: cleanup of old proofs.Nov 22 2020, 7:26 PM

Changes (2)

Path

Size

src/

HOL/

Computational_Algebra/

Formal_Power_Series.thy

Set_Interval.thy

rISABELLE703b601d71b5

src/HOL/Computational_Algebra/Formal_Power_Series.thy

Loading...

src/HOL/Set_Interval.thy

Loading...