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