hide private parts;

--- a/src/Pure/theory_data.ML	Wed Aug 25 11:09:24 1999 +0200
+++ b/src/Pure/theory_data.ML	Wed Aug 25 17:11:42 1999 +0200
@@ -50,8 +50,6 @@
 
 end;
 
-(* FIXME deactivated due to Provers/classical.ML legacy code
 (*hide private data access functions*)
 structure Sign: SIGN = Sign;
 structure Theory: THEORY = Theory;
-*)