Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. fixed some horrendous proofs
  2. rewrote a failing proof and reformatted another
Changeset 8913:376b9d4f72cd by paulson _lp15@cam.ac.uk_:
fixed some horrendous proofs
The file was modified thys/Differential_Dynamic_Logic/Coincidence.thy (diff)
The file was modified thys/Differential_Dynamic_Logic/Differential_Axioms.thy (diff)
The file was modified thys/Differential_Dynamic_Logic/USubst_Lemma.thy (diff)
The file was modified thys/Differential_Dynamic_Logic/Uniform_Renaming.thy (diff)
Changeset 8912:65f02b5bc0f3 by paulson _lp15@cam.ac.uk_:
rewrote a failing proof and reformatted another
The file was modified thys/Rank_Nullity_Theorem/Fundamental_Subspaces.thy (diff)