src/Pure/context.ML
1999-03-09 wenzelm 1999-03-09 tuned;
1999-02-08 wenzelm 1999-02-08 added fetch, fetch_theory;
1999-02-05 wenzelm 1999-02-05 setmp: theory option; save;
1999-02-03 wenzelm 1999-02-03 Global theory context (used to be in Thy/context.ML);