Summary
- removed some non-essential rules
The file was modified | thys/CAVA_Automata/Automata.thy (diff) |
The file was modified | thys/Ergodic_Theory/Fekete.thy (diff) |
The file was modified | thys/Ergodic_Theory/Kingman.thy (diff) |
The file was modified | thys/Fermat3_4/Quad_Form.thy (diff) |
The file was modified | thys/Formula_Derivatives/Presburger_Formula.thy (diff) |
The file was modified | thys/Heard_Of/ute/UteProof.thy (diff) |
The file was modified | thys/Matrix_Tensor/Matrix_Tensor.thy (diff) |
The file was modified | thys/Planarity_Certificates/Planarity/Executable_Permutations.thy (diff) |
The file was modified | thys/RSAPSS/Cryptinverts.thy (diff) |
The file was modified | thys/RSAPSS/Productdivides.thy (diff) |
The file was modified | thys/Taylor_Models/Taylor_Models.thy (diff) |
The file was modified | thys/Word_Lib/HOL_Lemmas.thy (diff) |