/src/HOL/SPARK/Examples/Sqrt/ Isabelle2023
drwxr-xr-x [up]
drwxr-xr-x sqrt
-rw-r--r-- 2023-09-11 19:30 +0200 276 Sqrt.adb
-rw-r--r-- 2023-09-11 19:30 +0200 131 Sqrt.ads
-rw-r--r-- 2023-09-11 19:30 +0200 696 Sqrt.thy