src/Pure/interpretation.ML
2007-09-25 wenzelm 2007-09-25 simplified interpretation setup;
2007-09-20 wenzelm 2007-09-20 Generic interpretation of theory data.