Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Keep filter input syntax
Changeset 68387:691c02d1699b by nipkow:
merged
Changeset 68386:98cf1c823c48 by nipkow:
Keep filter input syntax
The file was modified src/Doc/Tutorial/Inductive/AB.thy (diff)
The file was modified src/HOL/Library/AList.thy (diff)
The file was modified src/HOL/Library/Finite_Map.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/MicroJava/DFA/Kildall.thy (diff)
The file was modified src/HOL/MicroJava/DFA/LBVComplete.thy (diff)
The file was modified src/HOL/MicroJava/DFA/LBVCorrect.thy (diff)
The file was modified src/HOL/MicroJava/DFA/LBVSpec.thy (diff)
The file was modified src/HOL/MicroJava/DFA/SemilatAlg.thy (diff)
The file was modified src/HOL/Nitpick_Examples/Manual_Nits.thy (diff)
The file was modified src/HOL/Nominal/Examples/W.thy (diff)
The file was modified src/HOL/Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy (diff)
The file was modified src/HOL/Quotient_Examples/Quotient_FSet.thy (diff)
The file was modified src/HOL/Random.thy (diff)
The file was modified src/HOL/ex/Quicksort.thy (diff)
The file was modified src/HOL/ex/Radix_Sort.thy (diff)