HomeIsabelle/Phabricator
Diffusion afp-devel 6deb1b79c7e5

rename Deque.Idle to Idles
6deb1b79c7e5
Actions

Description

rename Deque.Idle to Idles

Details

Provenance
Balazs Toth <balazs.toth@quickbirdstudios.com>Authored on
Parents
rAFP5a70045bd1cd: Rename Big and Small cases
Branches
Unknown
Tags
Unknown

Event Timeline

Balazs Toth <balazs.toth@quickbirdstudios.com> committed rAFP6deb1b79c7e5: rename Deque.Idle to Idles.May 9 2023, 10:29 AM

Changes (2)

PathSize
thys/
Real_Time_Deque/

rAFP6deb1b79c7e5

View Options

thys/Real_Time_Deque/RealTimeDeque.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque_Aux.thy

Loading...