Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. updated 'define';
  2. updated 'define';
Changeset 6690:3cf054deecf2 by wenzelm:
updated 'define';
The file was modified thys/Amortized_Complexity/Splay_Tree_Analysis.thy (diff)
The file was modified thys/ArrowImpossibilityGS/Thys/Arrow_Order.thy (diff)
The file was modified thys/Cartan_FP/Cartan.thy (diff)
The file was modified thys/Cayley_Hamilton/Cayley_Hamilton.thy (diff)
The file was modified thys/Decreasing-Diagrams-II/Decreasing_Diagrams_II.thy (diff)
The file was modified thys/Density_Compiler/PDF_Compiler.thy (diff)
The file was modified thys/Derangements/Derangements.thy (diff)
The file was modified thys/Descartes_Sign_Rule/Descartes_Sign_Rule.thy (diff)
The file was modified thys/Dijkstra_Shortest_Path/GraphGA.thy (diff)
The file was modified thys/Groebner_Bases/Abstract_Poly.thy (diff)
Changeset 6689:c16a6c961f75 by wenzelm:
updated 'define';
The file was modified thys/AWN/OAWN_SOS.thy (diff)
The file was modified thys/AWN/OClosed_Transfer.thy (diff)
The file was modified thys/AWN/OPnet.thy (diff)