FDS Material 2020


slides-isabelle.pdf:	Isabelle tutorial slides (for Part I)
prog-prove.pdf:	Isabelle tutorial (for Part I)
Demos:	Demo theories (for Part I)
slides-fds.pdf:	Slides for (Part II)
book-fds.pdf:	Book for (Part II) (work in progress!)
Thys:	Theories for (Part II) (under construction)
Homeworks:	Homeworks and tutorial exercises

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
Demos		Demos
README.md		README.md
Trie1.thy		Trie1.thy
book-fds.pdf		book-fds.pdf
ex01.pdf		ex01.pdf
ex01.thy		ex01.thy
ex02.pdf		ex02.pdf
ex02.thy		ex02.thy
ex03.pdf		ex03.pdf
ex03.thy		ex03.thy
ex04.pdf		ex04.pdf
ex04.thy		ex04.thy
ex05.pdf		ex05.pdf
ex05.thy		ex05.thy
ex06.pdf		ex06.pdf
ex06.thy		ex06.thy
ex07.pdf		ex07.pdf
ex07.thy		ex07.thy
ex08.pdf		ex08.pdf
ex08.thy		ex08.thy
ex09.pdf		ex09.pdf
ex09.thy		ex09.thy
ex09_2.thy		ex09_2.thy
ex10.pdf		ex10.pdf
ex10.thy		ex10.thy
ex10_2.thy		ex10_2.thy
ex11.pdf		ex11.pdf
ex11.thy		ex11.thy
ex12.pdf		ex12.pdf
ex12.thy		ex12.thy
ex13.pdf		ex13.pdf
ex14.pdf		ex14.pdf
ex14_tut.thy		ex14_tut.thy
export.sml		export.sml
fsort.mlb		fsort.mlb
fsort.sml		fsort.sml
prog-prove.pdf		prog-prove.pdf
slides-fds.pdf		slides-fds.pdf
slides-isabelle.pdf		slides-isabelle.pdf

Provide feedback