Diffusion Isabelle 00e0f7724c06

tiny bit of lemma hacking
00e0f7724c06
Actions

Tags

None

Subscribers

None

Description

tiny bit of lemma hacking

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE2aef2de6b17c: NEWS

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE00e0f7724c06: tiny bit of lemma hacking.Mar 1 2021, 3:46 PM

Changes (2)

Path

Size

src/

HOL/

Library/

Metis_Examples/

rISABELLE00e0f7724c06

src/HOL/Library/FuncSet.thy

Loading...

src/HOL/Metis_Examples/Tarski.thy

Loading...