/src/HOL/IMP/
drwxr-xr-x [up]
-rw-r--r-- 1996-01-23 14:25 +0100 1144 Com.ML
-rw-r--r-- 1996-01-23 14:25 +0100 3054 Com.thy
-rw-r--r-- 1996-01-23 14:25 +0100 522 Denotation.ML
-rw-r--r-- 1996-01-23 14:25 +0100 1317 Denotation.thy
-rw-r--r-- 1996-01-23 14:25 +0100 1965 Equiv.ML
-rw-r--r-- 1996-01-23 14:25 +0100 151 Equiv.thy
-rw-r--r-- 1996-01-23 14:25 +0100 1336 Hoare.ML
-rw-r--r-- 1996-01-23 14:25 +0100 967 Hoare.thy
-rw-r--r-- 1996-01-23 14:25 +0100 1729 Properties.ML
-rw-r--r-- 1996-01-23 14:25 +0100 19 Properties.thy
-rw-r--r-- 1996-01-23 14:25 +0100 753 README.html
-rw-r--r-- 1996-01-23 14:25 +0100 317 ROOT.ML
-rw-r--r-- 1996-01-23 14:25 +0100 2552 VC.ML
-rw-r--r-- 1996-01-23 14:25 +0100 2174 VC.thy