Skip to content
Failed

Changes

Summary

  1. lots of small fixes
Changeset 9351:e24dcae902be by paulson _lp15@cam.ac.uk_:
lots of small fixes
The file was modified thys/Card_Number_Partitions/Number_Partition.thy (diff)
The file was modified thys/Count_Complex_Roots/Count_Complex_Roots.thy (diff)
The file was modified thys/Green/Paths.thy (diff)
The file was modified thys/LLL_Basis_Reduction/Gram_Schmidt_Int.thy (diff)
The file was modified thys/Linear_Recurrences/Pochhammer_Polynomials.thy (diff)
The file was modified thys/Markov_Models/Classifying_Markov_Chain_States.thy (diff)
The file was modified thys/Markov_Models/Continuous_Time_Markov_Chain.thy (diff)