/src/ZF/IMP/ Isabelle2018
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2018-08-12 14:28 +0200 5419 Com.thy
-rw-r--r-- 2018-08-12 14:28 +0200 2277 Denotation.thy
-rw-r--r-- 2018-08-12 14:28 +0200 2436 Equiv.thy