- proof_status: proof_status; (** logical status *)
- options: options;
- objects: UriManager.uri list; (** in-scope objects *)
- coercions: UriManager.uri list; (** defined coercions *)
- universe:Universe.universe; (** universe of terms used by auto *)
+ proof_status: proof_status;
+ objects: UriManager.uri list;
+ coercions: CoercDb.coerc_db;
+ automation_cache:AutomationCache.cache;
+ baseuri: string;
+ ng_status: ng_status;