CookBook/Package/Simple_Inductive_Package.thy
changeset 173 d820cb5873ea
parent 164 3f617d7a2691
child 177 4e2341f6599d
equal deleted inserted replaced
172:ec47352e99c2 173:d820cb5873ea