| changeset 7348 | 3e91b07223ad |
| parent 6546 | 995a66249a9b |
| child 8142 | 37d3b5a4ebae |
--- 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; -*)