concrete-semantics-Sols

My solutions to concrete semantics by Tobias Nipkow and Gerwin Klein. To see a list of exercises.

Already done:

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
Chapter10_2		Chapter10_2
.DS_Store		.DS_Store
.gitignore		.gitignore
Chapter10_1.thy		Chapter10_1.thy
Chapter10_3.thy		Chapter10_3.thy
Chapter10_4.thy		Chapter10_4.thy
Chapter11.thy		Chapter11.thy
Chapter12_2.thy		Chapter12_2.thy
Chapter12_3.thy		Chapter12_3.thy
Chapter12_4.thy		Chapter12_4.thy
Chapter12_5.thy		Chapter12_5.thy
Chapter13_3.thy		Chapter13_3.thy
Chapter13_5.thy		Chapter13_5.thy
Chapter13_7.thy		Chapter13_7.thy
Chapter13_9.thy		Chapter13_9.thy
Chapter2.thy		Chapter2.thy
Chapter3.thy		Chapter3.thy
Chapter4.thy		Chapter4.thy
Chapter5.thy		Chapter5.thy
Chapter7.thy		Chapter7.thy
Chapter8.thy		Chapter8.thy
Chapter9_1.thy		Chapter9_1.thy
Chapter9_2.thy		Chapter9_2.thy
README.md		README.md