structure OldGoals = Goals ; add_path "$ISABELLE_HOME_USER/2005/gen" ; add_path "$ISABELLE_HOME/src/HOL/Lattice" ; show_path(); use_thy "Functors" ;