src/Pure/theory_data.ML
changeset 5642 1b3e48bdbb93
parent 5003 f73ad32e44d3
child 6546 995a66249a9b
     1.1 --- a/src/Pure/theory_data.ML	Tue Oct 13 11:08:28 1998 +0200
     1.2 +++ b/src/Pure/theory_data.ML	Tue Oct 13 14:24:35 1998 +0200
     1.3 @@ -47,3 +47,9 @@
     1.4  val put = Theory.put_data kind Data;
     1.5  
     1.6  end;
     1.7 +
     1.8 +(* FIXME deactivated due to Provers/classical.ML legacy code
     1.9 +(*hide private data access functions*)
    1.10 +structure Sign: SIGN = Sign;
    1.11 +structure Theory: THEORY = Theory;
    1.12 +*)