Is there a way to get a path list of all included .jl files in REPL?
If you want the files loaded for a specific package, try pkgfiles from CodeTracking.
pkgfiles