The current version of pack pac does not contain a file prolog/misc/prooftree.pl
pac
prolog/misc/prooftree.pl