doc-src/ind-defs.bbl
1997-02-14 paulson 1997-02-14 Updated a reference
1996-11-22 paulson 1996-11-22 Updating of a reference (Ch. Paulin)
1996-10-30 paulson 1996-10-30 Updated references
1996-07-17 paulson 1996-07-17 Edited in response to referees comments; new references
1996-06-28 paulson 1996-06-28 Updated reference to Slinds paper on TFL
1996-04-25 paulson 1996-04-25 automatic updates
1996-03-05 paulson 1996-03-05 Fuller and more up-to-date references
1996-01-18 paulson 1996-01-18 trivial updates
1995-07-25 lcp 1995-07-25 trivial update
1994-09-13 lcp 1994-09-13 minor updates
1994-03-23 lcp 1994-03-23 first draft of Springer volume
1993-11-10 lcp 1993-11-10 Initial revision