HomeIsabelle/Phabricator
Diffusion afp-devel b4f4acb4ee94

minor amendments
b4f4acb4ee94
Actions

Description

minor amendments

Details

Provenance
user9716869 <user9716869@gmail.com>Authored on
Parents
rAFP68412a363595: creation and preservation of limits; a variety of auxiliary results and…
Branches
Unknown
Tags
Unknown

Event Timeline

user9716869 <user9716869@gmail.com> committed rAFPb4f4acb4ee94: minor amendments.May 16 2022, 1:14 AM

Changes (1)

PathSize
thys/
CZH_Elementary_Categories/
czh_ecategories/

rAFPb4f4acb4ee94

View Options

thys/CZH_Elementary_Categories/czh_ecategories/CZH_ECAT_NTCF.thy

Loading...