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