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