/src/HOL/Hoare/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 11152 Arith2.ML
-rw-r--r-- 1997-04-08 10:48 +0200 657 Arith2.thy
-rw-r--r-- 1997-04-08 10:48 +0200 2418 Examples.ML
-rw-r--r-- 1997-04-08 10:48 +0200 174 Examples.thy
-rw-r--r-- 1997-04-08 10:48 +0200 12342 Hoare.ML
-rw-r--r-- 1997-04-08 10:48 +0200 7577 Hoare.thy
-rw-r--r-- 1997-04-08 10:48 +0200 634 List_Examples.ML
-rw-r--r-- 1997-04-08 10:48 +0200 29 List_Examples.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1337 README.html
-rw-r--r-- 1997-04-08 10:48 +0200 216 ROOT.ML