README.md created online with Bitbucket
authorTobias Nipkow <nipkow@in.tum.de>
Fri, 23 Jun 2017 15:16:30 +0000
changeset 69807 67bcfdadb4f4
child 69808 74e6be42675e
README.md created online with Bitbucket
README.md
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/README.md	Fri Jun 23 15:16:30 2017 +0000
@@ -0,0 +1,5 @@
+# README #
+
+### Functional Data Structures ###
+
+Repository of slides
\ No newline at end of file