/Tutorial/
drwxr-xr-x [up]
-rw-r--r-- 2011-01-22 15:07 -0600 3533 Lambda.thy
-rw-r--r-- 2011-01-22 15:07 -0600 314 Minimal.thy
-rw-r--r-- 2011-01-22 15:07 -0600 23804 Tutorial1.thy
-rw-r--r-- 2011-01-22 15:07 -0600 25143 Tutorial1s.thy
-rw-r--r-- 2011-01-22 15:07 -0600 10426 Tutorial2.thy
-rw-r--r-- 2011-01-22 15:07 -0600 4035 Tutorial3.thy
-rw-r--r-- 2011-01-22 15:07 -0600 8600 Tutorial4.thy
-rw-r--r-- 2011-01-22 15:07 -0600 4729 Tutorial5.thy