HomeIsabelle/Phabricator
Diffusion afp-devel 7ecd220edef3

ETTS: minor amendments
7ecd220edef3
Actions

Description

ETTS: minor amendments

Details

Provenance
user9716869 <user9716869@gmail.com>Authored on
Parents
rAFP28ce3268cde2: CTR and ETTS: integration with fd5f62176987
Branches
Unknown
Tags
Unknown

Event Timeline

user9716869 <user9716869@gmail.com> committed rAFP7ecd220edef3: ETTS: minor amendments.Oct 8 2021, 1:12 AM

Changes (1)

PathSize
thys/
Types_To_Sets_Extension/
Examples/
SML_Relativization/
Simple_Orders/

rAFP7ecd220edef3

View Options

thys/Types_To_Sets_Extension/Examples/SML_Relativization/Simple_Orders/SML_Simple_Orders.thy

Loading...