src/HOL/Integ/NatSimprocs.thy

Commands prf and full_prf can now also be used to display proof term
of current proof state.

(*Loading further simprocs*)
theory NatSimprocs = NatBin
files "int_factor_simprocs.ML" "nat_simprocs.ML":

setup nat_simprocs_setup

end