ProgTutorial/Package/Simple_Inductive_Package.thy
changeset 259 a0af7fe3f558
parent 244 dc95a56b1953
child 316 74f0a06f751f
equal deleted inserted replaced
258:03145998190b 259:a0af7fe3f558