/IMP/
drwxr-xr-x [up]
-rw-r--r-- 1994-11-02 11:50 +0100 1326 Denotation.thy
-rw-r--r-- 1994-11-02 11:50 +0100 3422 Equiv.ML
-rw-r--r-- 1994-11-02 11:50 +0100 151 Equiv.thy
-rw-r--r-- 1994-11-02 11:50 +0100 579 ROOT.ML