Diffusion afp-devel 289e12cecf5a

removed lemmas following Isabelle/ba8fb71587ae
289e12cecf5a
Actions

Tags

None

Subscribers

None

Description

removed lemmas following Isabelle/ba8fb71587ae

Details

Provenance

Authored on

Parents

rAFP5023c947e95e: merge from AFP 2023

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP289e12cecf5a: removed lemmas following Isabelle/ba8fb71587ae.Mar 6 2024, 2:29 PM

Changes (2)

Path

Size

thys/

First_Order_Terms/

Transitive_Closure_More.thy

Rank_Nullity_Theorem/

rAFP289e12cecf5a

thys/First_Order_Terms/Transitive_Closure_More.thy

Loading...

thys/Rank_Nullity_Theorem/Dual_Order.thy

Loading...