Make the system more like cms 1.x
Better verbose output in case of l_True or l_False during search
Cleaning up code
Making agressive subsumption check into a function
More comments for merge()
Cleaner merge() -- moving stampcheck into function
80-char limit cleanup
Removing overhead
Moving Timestamp functions to propengine.h
Support red and irred stamping
Initial stamping UHTE
Ooops, forgot to fix "polarity" to "polar" in main.cpp

Fixed
Cleaner main.cpp -- fixing 80 char limits