(* NOTE - this file linked multiple places, careful when editing *) structure OldGoals = Goals ; val () = ThyLoad.add_path "/home/users/jeremy/isabelle/2005/gen" ; val () = ThyLoad.add_path "/home/users/jeremy/Isabelle2005/src/HOL/Lattice" ; show_path(); use_thy "HOL_Gen" ;