src/Pure/Isar/expression.ML
2008-11-21 ballarin 2008-11-21 add_locale functional.
2008-11-20 haftmann 2008-11-20 tuned name bindings
2008-11-20 ballarin 2008-11-20 Deleted debug message (PolyML).
2008-11-19 ballarin 2008-11-19 Type inference for elements through syntax module.
2008-11-18 ballarin 2008-11-18 Activate elements moved to element.ML.
2008-11-14 ballarin 2008-11-14 Initial part of locale reimplementation.
2008-10-28 haftmann 2008-10-28 making SMLNJ happy
2008-10-27 ballarin 2008-10-27 New-style locale expressions with instantiation (new file expression.ML).