/src/HOL/IOA/ Isabelle2025
drwxr-xr-x [up]
-rw-r--r-- 2025-03-12 11:39 +0100 1808 Asig.thy
-rw-r--r-- 2025-03-12 11:39 +0100 12316 IOA.thy
-rw-r--r-- 2025-03-12 11:39 +0100 7029 Solve.thy