Skip to content
Failed

Changes

Summary

  1. merged
  2. updated mixfix annotations;
Changeset 6479:2bdddff565a6 by wenzelm:
merged
Changeset 6478:de91a720e995 by wenzelm:
updated mixfix annotations;
The file was modified thys/AWN/AWN.thy (diff)
The file was modified thys/Flyspeck-Tame/Graph.thy (diff)