Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. renaming some theorems,etc.
Changeset 9142:2d12ec760e59 by paulson _lp15@cam.ac.uk_:
renaming some theorems,etc.
The file was modified thys/Gauss_Jordan/Inverse.thy (diff)
The file was modified thys/Gauss_Jordan/System_Of_Equations.thy (diff)
The file was modified thys/QR_Decomposition/Miscellaneous_QR.thy (diff)