renamed cond_extern to extern;
removed note_thmss_accesses(_i) -- functionality covered by general naming context;
* May 2005: Rafal Kolanski, NICTA Substantially improved retrieval of facts from theory/proof context.* May 2005: Florian Haftmann, TUM Several new antiquotation.$Id$