Diffusion Isabelle ae330b4209d6

removed old generated file;
ae330b4209d6
Actions

Tags

None

Subscribers

None

Description

removed old generated file;

Details

Provenance

Authored on

Parents

rISABELLE7add2d5322a7: Tidied several ugly proofs in some elderly examples

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEae330b4209d6: removed old generated file;.Mar 21 2022, 10:32 AM

Changes (5)

Path

Size

vsc-extension-quickstart.md

rISABELLEae330b4209d6

src/Tools/VSCode/extension/vsc-extension-quickstart.md

Loading...