# * A (Possibly) New Scheme for Libraries/Proof-Contexts *

## by Chetan Murthy

1993-1994

I (Chet Murthy) will talk about a (possibly) new scheme for libraries/proof-contexts, to support "theories," "separate proof" (a la separate compilation), and better structuring of mathematical developments.