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