| changeset 24712 | 64ed05609568 |
| parent 24614 | a4b2eb0dd673 |
| child 24867 | e5b55d7be9bb |
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML Tue Sep 25 15:34:35 2007 +0200 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML Tue Sep 25 17:06:14 2007 +0200 @@ -105,7 +105,7 @@ in -val _ = Context.add_setup (Theory.add_tokentrfuns proof_general_trans); +val _ = Context.add_setup (Sign.add_tokentrfuns proof_general_trans); end;