src/Pure/theory_data.ML
2000-01-25 wenzelm 2000-01-25 added map;
1999-08-25 wenzelm 1999-08-25 hide private parts;
1999-04-30 wenzelm 1999-04-30 theory data: copy;
1998-10-13 wenzelm 1998-10-13 PRIVATE sig parts;
1998-06-08 wenzelm 1998-06-08 Type-safe interface for theory data.