#include "debug.h"
#include "compat_hash_map.h"
Go to the source code of this file.
Created: Feb 05 18:29:37 GMT 2003
License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.
CLASS: TheoremManager
Holds the shared data for the class Theorem
Definition in file theorem_manager.h.