src/HOL/Subst/AList.ML
2000-08-30 nipkow 2000-08-30 introduced induct_thm_tac
2000-05-15 berghofe 2000-05-15 alist_rec and assoc are now defined using primrec and thus no longer refer to the recursion combinator list_rec, which should be considered internal.
1997-05-21 paulson 1997-05-21 Mostly cosmetic changes: updated headers, ID lines, etc.
1997-05-15 paulson 1997-05-15 New version, modified by Konrad Slind and LCP for TFL
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-21 clasohm 1995-03-21 converted Subst with curried function application