/libisabelle-protocol/operations/
drwxr-xr-x [up]
-rw-r--r-- 2017-02-07 08:57 +0100 1495 Basic.thy
-rw-r--r-- 2017-02-07 08:57 +0100 368 HOL_Operations.thy