Summary
- updated 'define';
- updated 'define';
The file was modified | thys/Amortized_Complexity/Splay_Tree_Analysis.thy (diff) |
The file was modified | thys/ArrowImpossibilityGS/Thys/Arrow_Order.thy (diff) |
The file was modified | thys/Cartan_FP/Cartan.thy (diff) |
The file was modified | thys/Cayley_Hamilton/Cayley_Hamilton.thy (diff) |
The file was modified | thys/Decreasing-Diagrams-II/Decreasing_Diagrams_II.thy (diff) |
The file was modified | thys/Density_Compiler/PDF_Compiler.thy (diff) |
The file was modified | thys/Derangements/Derangements.thy (diff) |
The file was modified | thys/Descartes_Sign_Rule/Descartes_Sign_Rule.thy (diff) |
The file was modified | thys/Dijkstra_Shortest_Path/GraphGA.thy (diff) |
The file was modified | thys/Groebner_Bases/Abstract_Poly.thy (diff) |
The file was modified | thys/AWN/OAWN_SOS.thy (diff) |
The file was modified | thys/AWN/OClosed_Transfer.thy (diff) |
The file was modified | thys/AWN/OPnet.thy (diff) |