# HG changeset patch
# User wenzelm
# Date 935593902 -7200
# Node ID 3e91b07223ad6836fab504f9856f815745a1c910
# Parent  ad0ce67e4eb6231a4cd16cf2924709423cbdd6af
hide private parts;

diff -r ad0ce67e4eb6 -r 3e91b07223ad src/Pure/theory_data.ML
--- 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;
-*)