Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. Some matrix material moved to Analysis
  3. merged
  4. merged
  5. moved some material to Analysis; simplified many proofs using s/h
Changeset 9141:f0759507c46c by paulson:
merged
Changeset 9140:83a3f5965e1b by paulson _lp15@cam.ac.uk_:
Some matrix material moved to Analysis
The file was modified thys/Rank_Nullity_Theorem/Fundamental_Subspaces.thy (diff)
The file was modified thys/Rank_Nullity_Theorem/Generalizations.thy (diff)
The file was modified thys/Rank_Nullity_Theorem/Miscellaneous.thy (diff)
The file was modified thys/Tarskis_Geometry/Hyperbolic_Tarski.thy (diff)
The file was modified thys/Tarskis_Geometry/Linear_Algebra2.thy (diff)
The file was modified thys/Tarskis_Geometry/Projective.thy (diff)
Changeset 9139:48be258313c2 by paulson:
merged
Changeset 9138:662be6c62c90 by paulson:
merged
Changeset 9137:53d050f0afde by paulson _lp15@cam.ac.uk_:
moved some material to Analysis; simplified many proofs using s/h
The file was modified thys/Tarskis_Geometry/Linear_Algebra2.thy (diff)
The file was modified thys/Tarskis_Geometry/Metric.thy (diff)
The file was modified thys/Tarskis_Geometry/Miscellany.thy (diff)
The file was modified thys/Tarskis_Geometry/Projective.thy (diff)