Skip to content
Success

Changes

Summary

  1. patched a failing proof
Changeset 9134:6dacb8b19575 by paulson _lp15@cam.ac.uk_:
patched a failing proof
The file was modified thys/QR_Decomposition/Miscellaneous_QR.thy (diff)