Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. replaced raw proof blocks by local lemmas
Changeset 67040:c1b87d15774a by nipkow:
replaced raw proof blocks by local lemmas
The file was modified src/HOL/Data_Structures/AA_Map.thy (diff)
The file was modified src/HOL/Data_Structures/AA_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Brother12_Map.thy (diff)
The file was modified src/HOL/Data_Structures/Brother12_Set.thy (diff)