CookBook/Package/Simple_Inductive_Package.thy
changeset 172 ec47352e99c2
parent 164 3f617d7a2691
child 177 4e2341f6599d