/Tutorial/
drwxr-xr-x [up]
-rw-r--r-- 2011-01-20 23:19 +0100 3533 Lambda.thy
-rw-r--r-- 2011-01-20 23:19 +0100 314 Minimal.thy
-rw-r--r-- 2011-01-20 23:19 +0100 40598 Tutorial1.thy
-rw-r--r-- 2011-01-20 23:19 +0100 12235 Tutorial4.thy