/Tutorial/
drwxr-xr-x [up]
-rw-r--r-- 2013-03-11 16:30 +0000 2234 Lambda.thy
-rw-r--r-- 2013-03-11 16:30 +0000 315 Minimal.thy
-rw-r--r-- 2013-03-11 16:30 +0000 259 ROOT.ML
-rw-r--r-- 2013-03-11 16:30 +0000 23804 Tutorial1.thy
-rw-r--r-- 2013-03-11 16:30 +0000 25156 Tutorial1s.thy
-rw-r--r-- 2013-03-11 16:30 +0000 13780 Tutorial2.thy
-rw-r--r-- 2013-03-11 16:30 +0000 12807 Tutorial2s.thy
-rw-r--r-- 2013-03-11 16:30 +0000 4273 Tutorial3.thy
-rw-r--r-- 2013-03-11 16:30 +0000 4807 Tutorial3s.thy
-rw-r--r-- 2013-03-11 16:30 +0000 8195 Tutorial4.thy
-rw-r--r-- 2013-03-11 16:30 +0000 8685 Tutorial4s.thy
-rw-r--r-- 2013-03-11 16:30 +0000 7092 Tutorial5.thy
-rw-r--r-- 2013-03-11 16:30 +0000 1554 Tutorial6.thy
-rwxr-xr-x 2013-03-11 16:30 +0000 805508 slides.pdf