stmAddInvariantToCheck: add missing init of invariant->lock (#4057)
[ghc-hetmet.git] / docs / ext-core / core.bib
2008-04-22 Tim ChevalierUpdate External Core docs