src/Provers/classical.ML
changeset 51688 27ecd33d3366
parent 51658 21c10672633b
child 51703 f2e92fc0c8aa
     1.1 --- a/src/Provers/classical.ML	Wed Apr 10 17:17:16 2013 +0200
     1.2 +++ b/src/Provers/classical.ML	Wed Apr 10 17:27:38 2013 +0200
     1.3 @@ -56,7 +56,6 @@
     1.4    val appSWrappers: Proof.context -> wrapper
     1.5    val appWrappers: Proof.context -> wrapper
     1.6  
     1.7 -  val global_claset_of: theory -> claset
     1.8    val claset_of: Proof.context -> claset
     1.9    val map_claset: (claset -> claset) -> Proof.context -> Proof.context
    1.10    val put_claset: claset -> Proof.context -> Proof.context
    1.11 @@ -596,7 +595,6 @@
    1.12    val merge = merge_cs;
    1.13  );
    1.14  
    1.15 -val global_claset_of = Claset.get o Context.Theory;
    1.16  val claset_of = Claset.get o Context.Proof;
    1.17  val rep_claset_of = rep_cs o claset_of;
    1.18