src/Pure/Isar/theory_target.ML
2006-11-26 wenzelm 2006-11-26 simplified consts: no auxiliary params, sane mixfix syntax; declarations: proper morphisms; added target_morphism/name;
2006-11-23 wenzelm 2006-11-23 uniform interface for type_syntax/term_syntax/declaration, dependent on morphism;
2006-11-22 wenzelm 2006-11-22 consts: ProofContext.set_stmt true -- avoids naming of local thms;
2006-11-21 wenzelm 2006-11-21 LocalTheory.axioms/notes/defs: proper kind; context_notes: ProofContext.set_stmt after import;
2006-11-10 wenzelm 2006-11-10 removed mapping; added reinit;
2006-11-09 wenzelm 2006-11-09 init: '-' refers to global context; provide reinit operation;
2006-10-14 wenzelm 2006-10-14 added peek;
2006-10-12 wenzelm 2006-10-12 added peek;
2006-10-11 wenzelm 2006-10-11 exit: pass interactive flag; moved exit to local_theory.ML; tuned pretty;
2006-10-11 wenzelm 2006-10-11 added begin;
2006-10-09 wenzelm 2006-10-09 added exit; notes: simplified locale target;
2006-10-07 wenzelm 2006-10-07 Common theory targets.