CookBook/Package/Simple_Inductive_Package.thy
changeset 157 76cdc8f562fc
parent 32 5bb2d29553c2
child 159 64fa844064fa