Summary
- rename 'Finite_Map' theory to allow addition of 'Finite_Map' to HOL-Library
- fully qualify theorem names in tactics
The file was added | thys/Ribbon_Proofs/Finite_Map2.thy |
The file was modified | thys/Ribbon_Proofs/ROOT (diff) |
The file was modified | thys/Ribbon_Proofs/Ribbons_Graphical_Soundness.thy (diff) |
The file was removed | thys/Ribbon_Proofs/Finite_Map.thy |
The file was modified | thys/List_Update/Competitive_Analysis.thy (diff) |
The file was modified | thys/List_Update/TS.thy (diff) |
The file was modified | thys/Randomised_Social_Choice/Automation/sds_automation.ML (diff) |