theory Simple_Inductive_Package+
−
imports Main+
−
uses ("simple_inductive_package.ML")+
−
begin+
−
+
−
+
−
use_chunks "simple_inductive_package.ML"+
−
+
−
+
−
end+
−