Diffusion afp-devel d8fb49658d5f

more showl-real instantiation to Show_Real thy
d8fb49658d5f
Actions

Tags

None

Subscribers

None

Description

more showl-real instantiation to Show_Real thy

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP1c2509fdeac7: added showl-functions for terms and contexts

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPd8fb49658d5f: more showl-real instantiation to Show_Real thy.Mon, Apr 15, 4:10 PM

Changes (2)

Path

Size

thys/

Show/

Shows_Literal.thy

rAFPd8fb49658d5f

thys/Show/Show_Real.thy

Loading...

thys/Show/Shows_Literal.thy

Loading...