| changeset 58419 | 593917a7ad02 |
| parent 58418 | a04b242a7a01 |
| child 58630 | 71cdb885b3bb |
| 58418:a04b242a7a01 | 58419:593917a7ad02 |
|---|---|
1 (* Title: HOL/Library/Sum_of_Squares.thy |
1 (* Title: HOL/ex/SOS_Cert.thy |
2 Author: Amine Chaieb, University of Cambridge |
2 Author: Amine Chaieb, University of Cambridge |
3 Author: Philipp Meyer, TU Muenchen |
3 Author: Philipp Meyer, TU Muenchen |
4 |
4 |
5 Examples for Sum_of_Squares: replay of certificates. |
5 Examples for Sum_of_Squares: replay of certificates. |
6 *) |
6 *) |