HomeIsabelle/Phabricator
Diffusion afp-devel 630eb1f69696

for better output notation
630eb1f69696
Actions

Description

for better output notation

Details

Provenance
Akihisa Yamada <akihisa.yamada@aist.go.jp>Authored on
Parents
rAFP6754166c5325: regen website
Branches
Unknown
Tags
Unknown

Event Timeline

Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFP630eb1f69696: for better output notation.Aug 20 2023, 11:57 AM

Changes (1)

PathSize
thys/
First_Order_Terms/

rAFP630eb1f69696

View Options

thys/First_Order_Terms/Term.thy

Loading...