Changes

Summary

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)