
 src/HOL/Library/Permutations.thy (diff) 


 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/Tools/Code/code_scala.ML (diff) 

 src/Pure/System/scala.scala (diff) 
 src/Pure/System/scala_compiler.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 CONTRIBUTORS (diff) 
 NEWS (diff) 
 src/HOL/SPARK/Examples/RIPEMD160/F.thy (diff) 
 src/HOL/SPARK/Examples/RIPEMD160/Round.thy (diff) 
 src/HOL/Word/Misc_Typedef.thy (diff) 
 src/HOL/Word/More_Word.thy (diff) 
 src/HOL/Word/Reversed_Bit_Lists.thy (diff) 
 src/HOL/Word/Word.thy (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 
 src/Pure/ML/ml_syntax.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Library/code_test.ML (diff) 

 src/HOL/Analysis/Brouwer_Fixpoint.thy (diff) 
 src/HOL/Analysis/Polytope.thy (diff) 
 src/HOL/Analysis/Simplex_Content.thy (diff) 
 src/HOL/Analysis/Starlike.thy (diff) 
 src/HOL/Binomial.thy (diff) 
 src/HOL/Finite_Set.thy (diff) 
 src/HOL/Library/FSet.thy (diff) 
 src/HOL/Library/Infinite_Set.thy (diff) 
 src/HOL/Library/Perm.thy (diff) 
 src/HOL/Library/Permutations.thy (diff) 
 src/HOL/List.thy (diff) 
 src/HOL/Number_Theory/Quadratic_Reciprocity.thy (diff) 
 src/HOL/SPARK/Examples/Liseq/Longest_Increasing_Subsequence.thy (diff) 
 src/HOL/Set_Interval.thy (diff) 
 src/HOL/Vector_Spaces.thy (diff) 

 src/HOL/Analysis/Complex_Transcendental.thy (diff) 