On 10/03/2011 10:04 PM, Florian Haftmann wrote:
If you have strong feelings about this being at the wrong place, you can
move it.
I have no »feelings«, just an educated guess that sometimes somebody
*will* move it, either by necessity or by psychological strain. In an
amortized view, you do not save any work by leaving it as it is.
Then, we will move it when the time has come to do so.
I guess the following AFP problem results from that fundamental change:
http://isabelle.in.tum.de/reports/Isabelle/report/11aa8e74cf064dc9bb9c10f72882a9d0
I resolved this two days ago, but the internet connection at the
workshop I am attending limits my ability to make changes public
immediately.
Lukas
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
