/src/HOL/SPARK/Manual/document/
drwxr-xr-x [up]
-rw-r--r-- 2017-11-04 15:24 +0100 365 Gcd.adb
-rw-r--r-- 2017-11-04 15:24 +0100 261 Gcd.ads
-rw-r--r-- 2017-11-04 15:24 +0100 369 Simple_Gcd.adb
-rw-r--r-- 2017-11-04 15:24 +0100 271 Simple_Gcd.ads
-rw-r--r-- 2017-11-04 15:24 +0100 648 complex_types.ads
-rw-r--r-- 2017-11-04 15:24 +0100 906 complex_types_app.adb
-rw-r--r-- 2017-11-04 15:24 +0100 238 complex_types_app.ads
-rw-r--r-- 2017-11-04 15:24 +0100 7079 intro.tex
-rw-r--r-- 2017-11-04 15:24 +0100 567 loop_invariant.adb
-rw-r--r-- 2017-11-04 15:24 +0100 337 loop_invariant.ads
-rw-r--r-- 2017-11-04 15:24 +0100 202 root.bib
-rw-r--r-- 2017-11-04 15:24 +0100 1590 root.tex