src/Pure/Isar/expression.ML
2008-12-05 haftmann 2008-12-05 dropped NameSpace.declare_base
2008-12-04 haftmann 2008-12-04 cleaned up binding module and related code
2008-12-03 ballarin 2008-12-03 Sublocale: removed public after_qed; identifiers private to NewLocale.
2008-12-01 ballarin 2008-12-01 No resolution of patterns within context statements.
2008-11-28 ballarin 2008-11-28 Intro_locales_tac to simplify goals involving locale predicates.
2008-11-28 ballarin 2008-11-28 Ahere to modern naming conventions; proper treatment of internal vs external names.
2008-11-27 ballarin 2008-11-27 Proper treatment of expressions with free arguments.
2008-11-27 ballarin 2008-11-27 Sublocale command.
2008-11-25 ballarin 2008-11-25 Expression types cleaned up, proper treatment of term patterns.
2008-11-24 ballarin 2008-11-24 Read/cert_statement for theorem statements.
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).