Diffusion afp-devel a7b51aecfb1b

used rho for renamming
a7b51aecfb1b
Actions

Tags

None

Subscribers

None

Description

used rho for renamming

Details

Provenance

Authored on

Parents

rAFP71512bd64ad4: tuned assumptions

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFPa7b51aecfb1b: used rho for renamming.Nov 11 2022, 10:58 AM

Changes (1)

Path

Size

thys/

First_Order_Terms/

rAFPa7b51aecfb1b

thys/First_Order_Terms/Term.thy

Loading...