/src/Pure/Examples/
drwxr-xr-x [up]
drwxr-xr-x document
-rw-r--r-- 2021-11-23 12:29 +0100 4852 First_Order_Logic.thy
-rw-r--r-- 2021-11-23 12:29 +0100 14156 Higher_Order_Logic.thy