src/Pure/theory_data.ML
1998-06-08 wenzelm 1998-06-08 Type-safe interface for theory data.