Diffusion afp-devel d2ca17e8b6e2

replaced IMGU by min_IMGU
d2ca17e8b6e2
Actions

Tags

None

Subscribers

None

Description

replaced IMGU by min_IMGU

Details

Provenance

Authored on

Parents

rAFPecba8ab471bb: replaced MGU by IMGU

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPd2ca17e8b6e2: replaced IMGU by min_IMGU.Jun 29 2022, 9:40 PM

Changes (2)

Path

Size

thys/

SuperCalc/

superposition.thy

rAFPd2ca17e8b6e2

thys/SuperCalc/superposition.thy

Loading...

thys/SuperCalc/terms.thy

Loading...