adapted is_copy_named from v___ to v'''

Unclear comment for 'fun is_copy_named_generating',
thus probably still broken; waiting for further tests.
Tests are still run from Build_Isac.

# -*- shell-script -*- :mode=shellscript:

#

# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings

ISABELLE_USEDIR_OPTIONS="-i true -d pdf"

ISABELLE_LOGIC=HOL