2002-02-20 ago New function for eliminating definitions in proof term.
2002-02-02 ago Rewrite procedure now works for both compact and full proof objects.
2001-11-19 ago Added setup.
2001-10-31 ago Additional rules for simplifying inside "Goal"
2001-09-28 ago Exchanged % and %%.
2001-08-31 ago tuned headers;
2001-08-31 ago Initial revision of tools for proof terms.