| changeset 32786 | f1ac4b515af9 |
| parent 32105 | da419b0c1c1d |
| child 33095 | bbd52d2f8696 |
--- a/src/Pure/pure_thy.ML Wed Sep 30 22:24:57 2009 +0200 +++ b/src/Pure/pure_thy.ML Wed Sep 30 22:25:50 2009 +0200 @@ -239,7 +239,6 @@ (*** Pure theory syntax and logical content ***) val typ = SimpleSyntax.read_typ; -val term = SimpleSyntax.read_term; val prop = SimpleSyntax.read_prop; val typeT = Syntax.typeT;