Diffusion afp-devel 509270282029

moved from AFP to distribution
509270282029
Actions

Tags

None

Subscribers

None

Description

moved from AFP to distribution

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPcb5230a8e3a2: tuned syntax

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP509270282029: moved from AFP to distribution.Apr 7 2022, 7:55 AM

Changes (5)

Path

Size

Complex_Bounded_Operators

Complex_Vector_Spaces.thy

Extra_Lattice.thy

rAFP509270282029

thys/Complex_Bounded_Operators/Complex_Vector_Spaces.thy

Loading...

thys/Complex_Bounded_Operators/extra/Extra_Lattice.thy

Loading...