/src/HOLCF/IOA/ex/
drwxr-xr-x [up]
-rw-r--r-- 2009-05-11 08:28 -0700 138 ROOT.ML
-rw-r--r-- 2009-05-11 08:28 -0700 1669 TrivEx.thy
-rw-r--r-- 2009-05-11 08:28 -0700 2484 TrivEx2.thy