(* NOTE - this file linked multiple places, careful when editing *) structure OldGoals = Goals ; add_path "$ISABELLE_HOME_USER/2005/gen" ; (* need new files as these use Rule, not Pair, for rules add_path "../../cdeep" ; add_path "../../fdeep" ; *) show_path(); use_thy "stringSyntax" ; (* to get noprefs *) fun ur _ = update_thy "Ldi_rules" ;