theory Simple_Inductive_Package
imports Main
uses "simple_inductive_package.ML"
begin

end