Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. empty -> Map.empty
  2. empty -> Map.empty
Changeset 9431:9e35405cc453 by nipkow:
empty -> Map.empty
The file was modified thys/AODV/Aodv.thy (diff)
The file was modified thys/AODV/variants/a_norreqid/A_Aodv.thy (diff)
The file was modified thys/AODV/variants/b_fwdrreps/B_Aodv.thy (diff)
The file was modified thys/AODV/variants/c_gtobcast/C_Aodv.thy (diff)
The file was modified thys/AODV/variants/d_fwdrreqs/D_Aodv.thy (diff)
The file was modified thys/AODV/variants/e_all_abcd/E_Aodv.thy (diff)
Changeset 9430:b4503a1ea7c8 by nipkow:
empty -> Map.empty
The file was modified thys/Flyspeck-Tame/PlaneGraphIso.thy (diff)