Summary
- adapting to Isabelle
The file was modified | thys/Algebraic_Numbers/Algebraic_Numbers.thy (diff) |
The file was modified | thys/Amortized_Complexity/Splay_Heap.thy (diff) |
The file was modified | thys/Automatic_Refinement/Lib/Misc.thy (diff) |
The file was modified | thys/Binomial-Heaps/BinomialHeap.thy (diff) |
The file was modified | thys/Binomial-Heaps/SkewBinomialHeap.thy (diff) |
The file was modified | thys/Decreasing-Diagrams/Decreasing_Diagrams.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Missing_Multiset.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Prime_Factorization.thy (diff) |
The file was modified | thys/Program-Conflict-Analysis/ConstraintSystems.thy (diff) |
The file was modified | thys/Program-Conflict-Analysis/Misc.thy (diff) |
The file was modified | thys/Randomised_Social_Choice/Preference_Profiles.thy (diff) |
The file was modified | thys/Selection_Heap_Sort/RemoveMax.thy (diff) |
The file was modified | thys/Well_Quasi_Orders/Multiset_Extension.thy (diff) |