/src/HOL/TPTP/CASC/ Isabelle2023
drwxr-xr-x [up]
-rw-r--r-- 2023-09-11 19:30 +0200 5256 ReadMe
-rw-r--r-- 2023-09-11 19:30 +0200 8215 SysDesc_Isabelle.html
-rw-r--r-- 2023-09-11 19:30 +0200 3777 SysDesc_Nitpick.html
-rw-r--r-- 2023-09-11 19:30 +0200 2283 SysDesc_Refute.html