Diffusion afp-devel 1c2509fdeac7

added showl-functions for terms and contexts
1c2509fdeac7
Actions

Tags

None

Subscribers

None

Description

added showl-functions for terms and contexts

Details

Provenance

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

Authored on

Parents

rAFPa52546d735ec: merge

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP1c2509fdeac7: added showl-functions for terms and contexts.Mon, Apr 15, 3:55 PM

Changes (2)

Path

Size

thys/

First_Order_Terms/

rAFP1c2509fdeac7

thys/First_Order_Terms/Position.thy

Loading...

thys/First_Order_Terms/Term_More.thy

Loading...