/IMP/
drwxr-xr-x [up]
-rw-r--r-- 1994-11-25 20:06 +0100 1326 Denotation.thy
-rw-r--r-- 1994-11-25 20:06 +0100 2841 Equiv.ML
-rw-r--r-- 1994-11-25 20:06 +0100 151 Equiv.thy
-rw-r--r-- 1994-11-25 20:06 +0100 1762 Properties.ML
-rw-r--r-- 1994-11-25 20:06 +0100 19 Properties.thy
-rw-r--r-- 1994-11-25 20:06 +0100 606 ROOT.ML