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