My solutions to the exercises for the Semantics course by Prof Nipkow in winter 2010/2011.
Permalink
Failed to load latest commit information.
HandedIn finshed and handed in hw 12. Jan 28, 2011
Sheets added sheet 11 and 12 + templates Jan 26, 2011
Solution added hw10 part a solution Jan 23, 2011
.gitignore gitignore Nov 12, 2010
AExp.thy updates of thys Jan 16, 2011
BExp.thy updates of thys Jan 16, 2011
Big_Step.thy updates of thys Jan 16, 2011
Com.thy updates of thys Jan 16, 2011
Ex01.thy Ex 1 with handin and solution Nov 12, 2010
Ex03.thy Exercises done during tutorial. Nov 12, 2010
Ex04.thy Added Name Nov 23, 2010
Ex05.thy Ex05 tutorial not yet finshed. Dec 1, 2010
Ex06.thy solved ex 06 Dec 3, 2010
Ex07.thy Work in progress for Ex07. I'm stuck and will return later. :-/ Dec 10, 2010
Ex08.thy started exercise 8. not done. proof needed. Jan 8, 2011
Ex09.thy copied templates for ex09 - ex12 Jan 26, 2011
Ex10.thy copied templates for ex09 - ex12 Jan 26, 2011
Ex11.thy copied templates for ex09 - ex12 Jan 26, 2011
Ex12.thy finshed and handed in hw 12. Jan 28, 2011
Hw01.thy Ex 1 with handin and solution Nov 12, 2010
Hw02.thy Ex 2 with handin and solution Nov 12, 2010
Hw03.thy Taking up a top from the correction. Always phrase lemmas in a way th… Nov 19, 2010
Hw04.thy Finished HW sheet 4. Nov 23, 2010
Hw05.thy Homework 5 done. Dec 1, 2010
Hw06.thy Condensed Hw06 to one file. Dec 4, 2010
Hw07.thy Homework done. Dec 13, 2010
Hw08.thy explanations and slight adjustments for hw8 Jan 9, 2011
Hw10.thy finished hw 10 Jan 24, 2011
Inductive_Demo.thy file provided for ex 4 Nov 23, 2010
Sec_Type_Expr.thy Added Sec-Tying thys from lecture. Jan 18, 2011
Sec_Typing.thy Added Sec-Tying thys from lecture. Jan 18, 2011
Small_Step.thy add small_step.thy as needed in ex 06 Dec 3, 2010
Types.thy Copied need file. Dec 13, 2010
Util.thy updates of thys Jan 16, 2011
Vars.thy updates of thys Jan 16, 2011
questions.txt typo Dec 1, 2010
todo.org updated todo Jan 16, 2011