/src/HOL/Hoare/
drwxr-xr-x [up]
-rw-r--r-- 1997-01-23 14:19 +0100 11152 Arith2.ML
-rw-r--r-- 1997-01-23 14:19 +0100 657 Arith2.thy
-rw-r--r-- 1997-01-23 14:19 +0100 2418 Examples.ML
-rw-r--r-- 1997-01-23 14:19 +0100 174 Examples.thy
-rw-r--r-- 1997-01-23 14:19 +0100 12434 Hoare.ML
-rw-r--r-- 1997-01-23 14:19 +0100 7523 Hoare.thy
-rw-r--r-- 1997-01-23 14:19 +0100 634 List_Examples.ML
-rw-r--r-- 1997-01-23 14:19 +0100 29 List_Examples.thy
-rw-r--r-- 1997-01-23 14:19 +0100 1337 README.html
-rw-r--r-- 1997-01-23 14:19 +0100 216 ROOT.ML