removed junk
authortraytel
Fri Mar 07 23:09:10 2014 +0100 (2014-03-07)
changeset 56010abf4879d39f1
parent 56009 dda076a32aea
child 56011 39d5043ce8a3
removed junk
src/HOL/Tools/BNF/bnf_comp.ML
     1.1 --- a/src/HOL/Tools/BNF/bnf_comp.ML	Sun Mar 09 18:43:38 2014 +0100
     1.2 +++ b/src/HOL/Tools/BNF/bnf_comp.ML	Fri Mar 07 23:09:10 2014 +0100
     1.3 @@ -6,8 +6,6 @@
     1.4  Composition of bounded natural functors.
     1.5  *)
     1.6  
     1.7 -val inline_ref = Unsynchronized.ref true;
     1.8 -
     1.9  signature BNF_COMP =
    1.10  sig
    1.11    val ID_bnf: BNF_Def.bnf