Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. tuned whitespace;
  2. isabelle update_header;
  3. isabelle update_header;
Changeset 6393:5a9ff01790dd by wenzelm:
tuned whitespace;
The file was modified thys/Knot_Theory/document/root.tex (diff)
Changeset 6392:92c2c4e4889a by wenzelm:
isabelle update_header;
The file was modified thys/Knot_Theory/Computations.thy (diff)
The file was modified thys/Knot_Theory/Example.thy (diff)
The file was modified thys/Knot_Theory/Kauffman_Invariance.thy (diff)
The file was modified thys/Knot_Theory/Kauffman_Matrix.thy (diff)
The file was modified thys/Knot_Theory/Link_Algebra.thy (diff)
The file was modified thys/Knot_Theory/Linkrel_Kauffman.thy (diff)
The file was modified thys/Knot_Theory/Preliminaries.thy (diff)
The file was modified thys/Knot_Theory/Tangle_Algebra.thy (diff)
The file was modified thys/Knot_Theory/Tangle_Moves.thy (diff)
The file was modified thys/Knot_Theory/Tangles.thy (diff)
Changeset 6391:3d5331ea747e by wenzelm:
isabelle update_header;
The file was modified thys/Vickrey_Clarke_Groves/CombinatorialAuctionExamples.thy (diff)
The file was modified thys/Vickrey_Clarke_Groves/FirstPrice.thy (diff)