/src/HOL/IMP/
drwxr-xr-x [up]
-rw-r--r-- 1996-02-07 12:22 +0100 1151 Com.ML
-rw-r--r-- 1996-02-07 12:22 +0100 3098 Com.thy
-rw-r--r-- 1996-02-07 12:22 +0100 768 Denotation.ML
-rw-r--r-- 1996-02-07 12:22 +0100 1372 Denotation.thy
-rw-r--r-- 1996-02-07 12:22 +0100 1984 Equiv.ML
-rw-r--r-- 1996-02-07 12:22 +0100 158 Equiv.thy
-rw-r--r-- 1996-02-07 12:22 +0100 2758 Hoare.ML
-rw-r--r-- 1996-02-07 12:22 +0100 1053 Hoare.thy
-rw-r--r-- 1996-02-07 12:22 +0100 1742 Properties.ML
-rw-r--r-- 1996-02-07 12:22 +0100 19 Properties.thy
-rw-r--r-- 1996-02-07 12:22 +0100 753 README.html
-rw-r--r-- 1996-02-07 12:22 +0100 327 ROOT.ML
-rw-r--r-- 1996-02-07 12:22 +0100 2579 VC.ML
-rw-r--r-- 1996-02-07 12:22 +0100 2190 VC.thy