doc-src/Intro/foundations.tex
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1999-02-03 paulson 1999-02-03 standard spelling: type-checking
1997-07-02 paulson 1997-07-02 Now there are TWO spaces after each full stop, so that the Emacs sentence primitives work
1997-05-05 wenzelm 1997-05-05 tuned;
1997-05-05 wenzelm 1997-05-05 misc updates, tuning, cleanup;
1996-07-22 paulson 1996-07-22 Updated BibTeX identifiers
1996-07-16 paulson 1996-07-16 Fixed typo regarding lifting over P|P
1994-04-22 lcp 1994-04-22 final Springer copy
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-24 lcp 1994-03-24 revisions to first Springer draft
1993-11-10 lcp 1993-11-10 Initial revision