Re: pushed prooftree changes

Ralf Treinen <[email protected]> writes:

> I just uploaded prooftree, and will look at hol-light this
> weekend.


Thanks a lot!

Hendrik

Reply via email to