src/Pure/Isar/theory_target.ML
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.