/src/HOL/IMP/
drwxr-xr-x [up]
-rw-r--r-- 1996-03-13 11:55 +0100 1151 Com.ML
-rw-r--r-- 1996-03-13 11:55 +0100 3098 Com.thy
-rw-r--r-- 1996-03-13 11:55 +0100 768 Denotation.ML
-rw-r--r-- 1996-03-13 11:55 +0100 1372 Denotation.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1892 Equiv.ML
-rw-r--r-- 1996-03-13 11:55 +0100 158 Equiv.thy
-rw-r--r-- 1996-03-13 11:55 +0100 2733 Hoare.ML
-rw-r--r-- 1996-03-13 11:55 +0100 1038 Hoare.thy
-rw-r--r-- 1996-03-13 11:55 +0100 1742 Properties.ML
-rw-r--r-- 1996-03-13 11:55 +0100 19 Properties.thy
-rw-r--r-- 1996-03-13 11:55 +0100 753 README.html
-rw-r--r-- 1996-03-13 11:55 +0100 327 ROOT.ML
-rw-r--r-- 1996-03-13 11:55 +0100 2491 VC.ML
-rw-r--r-- 1996-03-13 11:55 +0100 2190 VC.thy