| changeset 42245 | 29e3967550d5 |
| parent 42057 | 3eba96ff3d3e |
| child 42263 | 49b1b8d0782f |
--- a/src/Pure/pure_thy.ML Wed Apr 06 12:55:53 2011 +0200 +++ b/src/Pure/pure_thy.ML Wed Apr 06 12:58:13 2011 +0200 @@ -146,7 +146,6 @@ #> Theory.add_deps "TYPE" ("TYPE", typ "'a itself") [] #> Theory.add_deps Term.dummy_patternN (Term.dummy_patternN, typ "'a") [] #> Sign.add_trfuns Syntax.pure_trfuns - #> Sign.add_trfunsT Syntax.pure_trfunsT #> Sign.local_path #> Sign.add_consts_i [(Binding.name "term", typ "'a => prop", NoSyn),