src/Pure/Isar/expression.ML
2008-10-27 ballarin 2008-10-27 New-style locale expressions with instantiation (new file expression.ML).