dropped prop_cs

--- a/src/HOL/HOL.ML	Fri Nov 03 14:22:35 2006 +0100
+++ b/src/HOL/HOL.ML	Fri Nov 03 14:22:36 2006 +0100
@@ -1,6 +1,5 @@
 (* legacy ML bindings *)
 
-val prop_cs = HOL.claset_prop;
 val HOL_cs = HOL.claset;
 val HOL_basic_ss = HOL.simpset_basic;
 val HOL_ss = HOL.simpset;