Diffusion Isabelle ab905b5bb206

HOL/Library/BigO is obsolete
ab905b5bb206
Actions

Tags

None

Subscribers

None

Description

HOL/Library/BigO is obsolete

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEe2f43d3919c2: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEab905b5bb206: HOL/Library/BigO is obsolete.Jan 19 2023, 2:55 PM

Changes (10)

Path

Size

Set_Algebras.thy

	ex/
	Library/

rISABELLEab905b5bb206

NEWS

Loading...

src/HOL/Library/BigO.thy

Loading...

src/HOL/Library/Library.thy

Loading...

src/HOL/Library/Set_Algebras.thy

Loading...

src/HOL/ROOT

Loading...

src/HOL/ex/BigO.thy

Loading...