Diffusion Isabelle e67c951f1c18

removed pointless option (see 3d0952893db8);
e67c951f1c18
Actions

Tags

None

Subscribers

None

Description

removed pointless option (see 3d0952893db8);

Details

Provenance

Authored on

Parents

rISABELLE4addb9707200: tuned --- avoid redundant future tasks from already loaded theories;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe67c951f1c18: removed pointless option (see 3d0952893db8);.Jun 4 2021, 10:30 PM

Changes (1)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle.scala

rISABELLEe67c951f1c18

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...