| changeset 27359 | 54b5367a827a |
| parent 27340 | 3de9f20f4e28 |
| child 27370 | 8e8f96dfaf63 |
--- a/src/Pure/ML/ml_antiquote.ML Wed Jun 25 17:38:38 2008 +0200 +++ b/src/Pure/ML/ml_antiquote.ML Wed Jun 25 17:38:39 2008 +0200 @@ -122,8 +122,6 @@ (* abstract fact values *) -val _ = ML_Context.add_keywords ["[", "]", "(", ")", "-", ","]; (* FIXME !? *) - structure AuxFacts = ProofDataFun ( type T = thm list Inttab.table;