HomeIsabelle/Phabricator
Diffusion Isabelle 4aeb25ba90f3

more uniform command names
4aeb25ba90f3
Actions

Description

more uniform command names

Details

Provenance
nipkowAuthored on
Parents
rISABELLEf1c29e366c09: tuned parameter order
Branches
Unknown
Tags
Unknown

Changes (9)

PathSize
src/
HOL/
Data_Structures/

rISABELLE4aeb25ba90f3

View Options

src/HOL/Data_Structures/Binomial_Heap.thy

Loading...
View Options

src/HOL/Data_Structures/Define_Time_0.ML

Loading...
View Options

src/HOL/Data_Structures/Define_Time_Function.ML

Loading...
View Options

src/HOL/Data_Structures/Define_Time_Function.thy

Loading...
View Options

src/HOL/Data_Structures/Leftist_Heap.thy

Loading...
View Options

src/HOL/Data_Structures/Queue_2Lists.thy

Loading...
View Options

src/HOL/Data_Structures/Reverse.thy

Loading...
View Options

src/HOL/Data_Structures/Time_Funs.thy

Loading...
View Options

src/HOL/Data_Structures/Tree23_of_List.thy

Loading...