Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-repo
#1406
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
prefer formal text;
prefer formal comments;
prefer formal comments;
Changeset
67409:060efe532189
by
wenzelm
:
prefer formal text;
The file was modified
src/HOL/Library/Going_To_Filter.thy
(diff)
Changeset
67408:4a4c14b24800
by
wenzelm
:
prefer formal comments;
The file was modified
src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
(diff)
The file was modified
src/HOL/Library/DAList_Multiset.thy
(diff)
The file was modified
src/HOL/Library/Extended_Nonnegative_Real.thy
(diff)
The file was modified
src/HOL/Library/Extended_Real.thy
(diff)
The file was modified
src/HOL/Library/FSet.thy
(diff)
The file was modified
src/HOL/Library/Infinite_Set.thy
(diff)
The file was modified
src/HOL/Library/Linear_Temporal_Logic_on_Streams.thy
(diff)
The file was modified
src/HOL/Library/Permutations.thy
(diff)
The file was modified
src/HOL/Library/RBT_Impl.thy
(diff)
The file was modified
src/HOL/Library/RBT_Set.thy
(diff)
The file was modified
src/HOL/Library/Stream.thy
(diff)
The file was modified
src/HOL/Word/Bits_Int.thy
(diff)
The file was modified
src/HOL/Word/Bool_List_Representation.thy
(diff)
The file was modified
src/HOL/Word/Misc_Typedef.thy
(diff)
The file was modified
src/HOL/Word/Word.thy
(diff)
The file was modified
src/HOL/Word/Word_Miscellaneous.thy
(diff)
Changeset
67407:dbaa38bd223a
by
wenzelm
:
prefer formal comments;
The file was modified
src/HOL/SPARK/Examples/RIPEMD-160/RMD.thy
(diff)
The file was modified
src/HOL/SPARK/Examples/RIPEMD-160/RMD_Specification.thy
(diff)
The file was modified
src/HOL/SPARK/Examples/RIPEMD-160/Round.thy
(diff)