(* NOTE - this file linked multiple places, careful when editing *) add_path "$ISABELLE_HOME_USER/gen" ; add_path "$ISABELLE_HOME/src/HOL/Lattice" ; add_path "$ISABELLE_HOME/src/HOL/Bali" ; show_path(); use "lib.ML" ; use "gen.ML" ;