src/Pure/interpretation.ML
2007-10-05 wenzelm 2007-10-05 subtract: minor performance tuning;
2007-09-25 wenzelm 2007-09-25 simplified interpretation setup;
2007-09-20 wenzelm 2007-09-20 Generic interpretation of theory data.