Diffusion afp-devel bdfb44a7a3a9

updates for new submissions
bdfb44a7a3a9
Actions

Tags

None

Subscribers

None

Description

updates for new submissions

Details

Provenance

Akihisa Yamada <akihisa.yamada@aist.go.jp>

Authored on

Parents

rAFP6ed3fce64064: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Akihisa Yamada <akihisa.yamada@aist.go.jp> committed rAFPbdfb44a7a3a9: updates for new submissions.Thu, May 2, 10:50 AM

Rene Thiemann <rene.thiemann@uibk.ac.at> mentioned this in rAFPfde149dd0cdd: import of bdfb44a7a3a9 from AFP-devel (required for upcoming submission).Fri, May 3, 11:41 AM

Changes (2)

Path

Size

thys/

Complete_Non_Orders/

Binary_Relations.thy

First_Order_Terms/

rAFPbdfb44a7a3a9

thys/Complete_Non_Orders/Binary_Relations.thy

Loading...

thys/First_Order_Terms/Term.thy

Loading...