src/Pure/Isar/proof_data.ML
1999-06-05 wenzelm 1999-06-05 added get_st;
1999-06-04 wenzelm 1999-06-04 added put_st;
1998-11-09 wenzelm 1998-11-09 Type-safe interface for proof context data.