History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/dep_rewrite.DEP_REWRITE_TAC.doc
Revision Date Author Comments
# bfc04058 14-Apr-2016 Ramana Kumar <ramana@member.fsf.org>

Document some of the things in dep_rewrite

The text is taken from dep_rewrite.sig.