[isabelle-dev] cs. 3911cf09899a

Lukas Bulwahn bulwahn at in.tum.de
Wed Oct 5 08:31:23 CEST 2011


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



More information about the isabelle-dev mailing list