src/Pure/interpretation.ML
2009-10-29 wenzelm 2009-10-29 modernized functor/structures Interpretation;
2009-01-21 wenzelm 2009-01-21 removed Ids;
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.