Diffusion Isabelle cab76af373e7

tuned metis to use map_index
cab76af373e7
Actions

Tags

None

Subscribers

None

Description

tuned metis to use map_index

Details

Provenance

Authored on

Parents

rISABELLEd969474ddc45: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEcab76af373e7: tuned metis to use map_index.Dec 10 2021, 8:53 AM

Changes (3)

Path

Size

src/

HOL/

Tools/

Metis/

metis_generate.ML

metis_reconstruct.ML

metis_tactic.ML

rISABELLEcab76af373e7

src/HOL/Tools/Metis/metis_generate.ML

Loading...

src/HOL/Tools/Metis/metis_reconstruct.ML

Loading...

src/HOL/Tools/Metis/metis_tactic.ML

Loading...