LIST-DEFMODULES
Displays the list of all defmodules.
(list-defmodules)