src/HOL/Tools/inductive_set.ML
2009-07-17 wenzelm 2009-07-17 tuned/modernized Envir.subst_XXX;
2009-07-14 haftmann 2009-07-14 code attributes use common underscore convention
2009-06-19 haftmann 2009-06-19 discontinued ancient tradition to suffix certain ML module names with "_package"