HomeIsabelle/Phabricator
Diffusion afp-devel 42228a710d56

rename Small.state to small_state
42228a710d56
Actions

Description

rename Small.state to small_state

Details

Provenance
Balazs Toth <balazs.toth@quickbirdstudios.com>Authored on
Parents
rAFP557ab56745ad: rename Big.state to big_state
Branches
Unknown
Tags
Unknown

Event Timeline

Balazs Toth <balazs.toth@quickbirdstudios.com> committed rAFP42228a710d56: rename Small.state to small_state.May 8 2023, 12:38 PM

Changes (8)

PathSize
thys/
Real_Time_Deque/

rAFP42228a710d56

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/RealTimeDeque_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_Proof.thy

Loading...