Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. moved lemmas to distribution
  2. canonical options for ROOT files
Changeset 9222:92ec39882136 by nipkow:
moved lemmas to distribution
The file was modified thys/Automatic_Refinement/Lib/Misc.thy (diff)
The file was modified thys/Collections/Iterator/Gen_Iterator.thy (diff)
The file was modified thys/Collections/Iterator/SetIterator.thy (diff)
The file was modified thys/Refine_Monadic/Refine_Foreach.thy (diff)
Changeset 9221:2b0fc2365a6e by lars hupel _lars.hupel@mytum.de_:
canonical options for ROOT files
The file was modified thys/Diophantine_Eqns_Lin_Hom/ROOT (diff)
The file was modified thys/First_Order_Terms/ROOT (diff)
The file was modified thys/LLL_Factorization/ROOT (diff)
The file was modified thys/VerifyThis2018/ROOT (diff)
The file was modified tools/afp_check_roots.scala (diff)