[m-dev.] HAL group's student doing graphic debugger

[Maria Garcia de la Banda]

Hi Mark,

>> Perhaps this is of some interest to you?  I will hopefully
>> commit the first lot of changes in the next few days.

Sure it interests us, we will take the proof tree (or a modification of it)
and visualise it in a graphical way. Your changes will give us most of the
info we want (and if we want more data, it will show us were to look for
it). Please let us know when you commit the first changes and thanks!

Cheers,

Maria