Diffusion Isabelle cf7db6353322

recover informal "&" from 0c18df79b1c8;
cf7db6353322
Actions

Tags

None

Subscribers

None

Description

recover informal "&" from 0c18df79b1c8;

Details

Provenance

Authored on

Parents

rISABELLE728f38b016c0: added a couple of structured proofs

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcf7db6353322: recover informal "&" from 0c18df79b1c8;.Sep 28 2022, 11:00 AM

Changes (9)

Path

Size

src/

ZF/

AC/

Induct/

ex/

Commutation.thy

rISABELLEcf7db6353322

src/ZF/AC/AC15_WO6.thy

Loading...

src/ZF/AC/AC17_AC1.thy

Loading...

src/ZF/AC/AC7_AC9.thy

Loading...

src/ZF/AC/WO1_WO7.thy

Loading...

src/ZF/AC/WO2_AC16.thy

Loading...

src/ZF/AC/WO6_WO1.thy

Loading...

src/ZF/Induct/PropLog.thy

Loading...

src/ZF/ex/Commutation.thy

Loading...

src/ZF/ex/NatSum.thy

Loading...