src/Pure/Isar/proof_data.ML
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2002-07-16 wenzelm 2002-07-16 rearranged to work without proof contexts;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-01-25 wenzelm 2000-01-25 added map, map_st;
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.