HomeIsabelle/Phabricator
Diffusion afp-devel 5a70045bd1cd

Rename Big and Small cases
5a70045bd1cd
Actions

Description

Rename Big and Small cases

Details

Provenance
Balazs Toth <balazs.toth@quickbirdstudios.com>Authored on
Parents
rAFPfc58336aa1da: rename `Transforming` to `Rebal`
Branches
Unknown
Tags
Unknown

Event Timeline

Balazs Toth <balazs.toth@quickbirdstudios.com> committed rAFP5a70045bd1cd: Rename Big and Small cases.May 9 2023, 10:23 AM

Changes (12)

PathSize
thys/
Real_Time_Deque/

rAFP5a70045bd1cd

View Options

thys/Real_Time_Deque/Big.thy

Loading...
View Options

thys/Real_Time_Deque/Big_Aux.thy

Loading...
View Options

thys/Real_Time_Deque/Big_Proof.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque_Dequeue_Proof.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque_Enqueue_Proof.thy

Loading...
View Options

thys/Real_Time_Deque/Small.thy

Loading...
View Options

thys/Real_Time_Deque/Small_Aux.thy

Loading...
View Options

thys/Real_Time_Deque/Small_Proof.thy

Loading...
View Options

thys/Real_Time_Deque/States.thy

Loading...
View Options

thys/Real_Time_Deque/States_Aux.thy

Loading...
View Options

thys/Real_Time_Deque/States_Proof.thy

Loading...