# HG changeset patch
# User haftmann
# Date 1163606738 -3600
# Node ID a0561695167a9258d3cf25784ed3d352b344559d
# Parent  cedfce6fc725a267db41a5ca7321d042b77d9808
removed HOL_css

diff -r cedfce6fc725 -r a0561695167a src/HOL/HOL.ML
--- a/src/HOL/HOL.ML	Wed Nov 15 17:05:37 2006 +0100
+++ b/src/HOL/HOL.ML	Wed Nov 15 17:05:38 2006 +0100
@@ -3,7 +3,6 @@
 val HOL_cs = HOL.claset;
 val HOL_basic_ss = HOL.simpset_basic;
 val HOL_ss = HOL.simpset;
-val HOL_css = (HOL.claset, HOL.simpset);
 val hol_simplify = HOL.simplify;
 
 val split_tac        = Splitter.split_tac;