lp15 at cam.ac.uk
Mon Aug 15 16:41:23 CEST 2022
I think it should be deleted. It’s confusing to have two copies of the same material, and I even wasted time trying to move the preliminaries out of there; perhaps they should be deleted as well.
On 15 Aug 2022, 14:54 +0100, Manuel Eberl <manuel at pruvisto.org>, wrote:
As for why I did not delete the version in HOL-ex, I cannot remember –
perhaps because it still is a small and self-contained derivation of
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev