HomeIsabelle/Phabricator
Diffusion afp-devel fc58336aa1da

rename `Transforming` to `Rebal`
fc58336aa1da
Actions

Description

rename Transforming to Rebal

Details

Provenance
Balazs Toth <balazs.toth@quickbirdstudios.com>Authored on
Parents
rAFP12da760de09d: rename `Common.state` to `common_state`
Branches
Unknown
Tags
Unknown

Event Timeline

Balazs Toth <balazs.toth@quickbirdstudios.com> committed rAFPfc58336aa1da: rename `Transforming` to `Rebal`.May 9 2023, 9:55 AM

Changes (11)

PathSize
thys/
Real_Time_Deque/

rAFPfc58336aa1da

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/Common.thy

Loading...
View Options

thys/Real_Time_Deque/Common_Aux.thy

Loading...
View Options

thys/Real_Time_Deque/Current.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque_Aux.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque_Dequeue_Proof.thy

Loading...
View Options

thys/Real_Time_Deque/RealTimeDeque_Proof.thy

Loading...
View Options

thys/Real_Time_Deque/Small.thy

Loading...
View Options

thys/Real_Time_Deque/Small_Aux.thy

Loading...