/src/HOLCF/IOA/ex/
drwxr-xr-x [up]
-rw-r--r-- 2007-10-20 20:32 +0200 138 ROOT.ML
-rw-r--r-- 2007-10-20 20:32 +0200 1660 TrivEx.thy
-rw-r--r-- 2007-10-20 20:32 +0200 2491 TrivEx2.thy