Diffusion afp-devel 3bf5b42fa409

more complete theorem_commands;
3bf5b42fa409
Actions

Tags

None

Subscribers

None

Description

more complete theorem_commands;

Details

Provenance

Authored on

Parents

rAFPc42f49b4cb14: clarified signature, following Isabelle/b6d74c90b588;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP3bf5b42fa409: more complete theorem_commands;.Aug 3 2022, 11:24 PM

Changes (1)

Path

Size

tools/

afp_site_gen.scala

rAFP3bf5b42fa409

tools/afp_site_gen.scala

Loading...