src/Pure/Thy/thm_deps.ML
Thu, 07 Oct 1999 11:36:39 +0200 berghofe New function thm_deps for visualizing dependencies of theorems.
less more (0) tip