doc-src/Logics/logics.bbl
1996-02-16 paulson 1996-02-16 Elimination of fully-functorial style. Type tactic changed to a type abbrevation (from a datatype). Constructor tactic and function apply deleted.
1996-01-18 paulson 1996-01-18 trivial updates
1995-12-08 paulson 1995-12-08 trivial, automatic changes
1995-04-14 lcp 1995-04-14 Updated CADE reference
1995-01-25 lcp 1995-01-25 changed due to new .bib files
1994-11-14 lcp 1994-11-14 Added month for Coens thesis
1994-10-19 lcp 1994-10-19 trivial update to reference
1994-10-12 lcp 1994-10-12 Minor reference updates
1994-09-09 lcp 1994-09-09 added Abrial and Laffitte; Kunen; Winskel, etc.
1994-05-03 lcp 1994-05-03 final Springer version
1993-11-12 lcp 1993-11-12 Misc updates
1993-11-10 lcp 1993-11-10 Initial revision