src/Pure/Isar/proof_data.ML
2000-01-25 ago added map, map_st;
1999-06-05 ago added get_st;
1999-06-04 ago added put_st;
1998-11-09 ago Type-safe interface for proof context data.