/src/HOL/HOLCF/Tools/Domain/
drwxr-xr-x [up]
-rw-r--r-- 2010-11-27 16:08 -0800 9567 domain.ML
-rw-r--r-- 2010-11-27 16:08 -0800 3912 domain_axioms.ML
-rw-r--r-- 2010-11-27 16:08 -0800 35046 domain_constructors.ML
-rw-r--r-- 2010-11-27 16:08 -0800 16259 domain_induction.ML
-rw-r--r-- 2010-11-27 16:08 -0800 30463 domain_isomorphism.ML
-rw-r--r-- 2010-11-27 16:08 -0800 21058 domain_take_proofs.ML