/src/HOL/Hoare/
drwxr-xr-x [up]
-rw-r--r-- 1995-11-22 18:48 +0100 10750 Arith2.ML
-rw-r--r-- 1995-11-22 18:48 +0100 642 Arith2.thy
-rw-r--r-- 1995-11-22 18:48 +0100 2322 Examples.ML
-rw-r--r-- 1995-11-22 18:48 +0100 282 Examples.thy
-rw-r--r-- 1995-11-22 18:48 +0100 10235 Hoare.ML
-rw-r--r-- 1995-11-22 18:48 +0100 6731 Hoare.thy
-rw-r--r-- 1995-11-22 18:48 +0100 618 List_Examples.ML
-rw-r--r-- 1995-11-22 18:48 +0100 29 List_Examples.thy
-rw-r--r-- 1995-11-22 18:48 +0100 1132 README.html
-rw-r--r-- 1995-11-22 18:48 +0100 206 ROOT.ML