/src/HOL/Hoare/
drwxr-xr-x [up]
-rw-r--r-- 1996-03-13 11:55 +0100 10976 Arith2.ML
-rw-r--r-- 1996-03-13 11:55 +0100 657 Arith2.thy
-rw-r--r-- 1996-03-13 11:55 +0100 2391 Examples.ML
-rw-r--r-- 1996-03-13 11:55 +0100 289 Examples.thy
-rw-r--r-- 1996-03-13 11:55 +0100 12435 Hoare.ML
-rw-r--r-- 1996-03-13 11:55 +0100 7521 Hoare.thy
-rw-r--r-- 1996-03-13 11:55 +0100 618 List_Examples.ML
-rw-r--r-- 1996-03-13 11:55 +0100 29 List_Examples.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1132 README.html
-rw-r--r-- 1996-03-13 11:55 +0100 216 ROOT.ML