Diffusion Isabelle 02b6ca455be4

proper proxification for fool + refactoring
02b6ca455be4
Actions

Tags

None

Subscribers

None

Description

proper proxification for fool + refactoring

Details

Provenance

Authored on

Parents

rISABELLE999b07bfd886: proper renaming of THF_Lambda_Bool_Free

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE02b6ca455be4: proper proxification for fool + refactoring.Dec 3 2020, 5:40 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

atp_problem_generate.ML

rISABELLE02b6ca455be4

src/HOL/Tools/ATP/atp_problem.ML

Loading...

src/HOL/Tools/ATP/atp_problem_generate.ML

Loading...