src/HOL/Tools/inductive_set.ML
2009-10-20 haftmann 2009-10-20 replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-09-19 haftmann 2009-09-19 inter and union are mere abbreviations for inf and sup
2009-09-18 haftmann 2009-09-18 tuned const_name antiquotations
2009-08-10 haftmann 2009-08-10 merged
2009-07-30 haftmann 2009-07-30 path-sensitive tuple combinators carry a "p"(ath) prefix; combinators for standard right-fold tuples
2009-08-04 bulwahn 2009-08-04 removed debug messages; exported to_pred in InductiveSet; added further display function; adjusted mode analysis
2009-07-29 haftmann 2009-07-29 cleaned up abstract tuple operations and named them consistently
2009-07-22 haftmann 2009-07-22 set intersection and union now named inter and union; closer connection between set and lattice operations; factored out complete lattice
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"