CookBook/Package/Simple_Inductive_Package.thy
changeset 173 d820cb5873ea
parent 164 3f617d7a2691
child 177 4e2341f6599d