[isabelle] missing *.thy files for published papers

[Michal Wallace]

I've found at least two interesting things supposedly formalized in
isabelle that I would really love to have access to, but the *.thy files
are nowhere to be found.

- "The 5 Colour Theorem in Isabelle/Isar" by Gertrud Bauer and Tobias Nipkow

http://wwwbroy.in.tum.de/publ/papers/5colour.pdf


- "Mechanising Hilbert's _Foundations of Geometry_ in Isabelle" by Phil
Scott

https://www.inf.ed.ac.uk/publications/thesis/online/IM080566.pdf


Anyone know where to find these files?

Is there any chance we might be able to get them into the AFP?

[Tobias Nipkow]

Post by Michal Wallace
I've found at least two interesting things supposedly formalized in
isabelle that I would really love to have access to, but the *.thy files
are nowhere to be found.
- "The 5 Colour Theorem in Isabelle/Isar" by Gertrud Bauer and Tobias Nipkow

As far as I know, these files are lost. In retrospect I would not recommend
going that way. It was rather complicated.

Tobias

Post by Michal Wallace
http://wwwbroy.in.tum.de/publ/papers/5colour.pdf
- "Mechanising Hilbert's _Foundations of Geometry_ in Isabelle" by Phil
Scott
https://www.inf.ed.ac.uk/publications/thesis/online/IM080566.pdf
Anyone know where to find these files?
Is there any chance we might be able to get them into the AFP?