Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. rename 'Finite_Map' theory to allow addition of 'Finite_Map' to HOL-Library
  2. fully qualify theorem names in tactics
Changeset 7104:d50c0e41735c by lars hupel _lars.hupel@mytum.de_:
rename 'Finite_Map' theory to allow addition of 'Finite_Map' to HOL-Library
The file was addedthys/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 removedthys/Ribbon_Proofs/Finite_Map.thy
Changeset 7103:1a33364985e3 by lars hupel _lars.hupel@mytum.de_:
fully qualify theorem names in tactics
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)