src/Pure/theory_data.ML
1998-10-13 wenzelm 1998-10-13 PRIVATE sig parts;
1998-06-08 wenzelm 1998-06-08 Type-safe interface for theory data.