History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/BasicProvers.VAR_EQ_TAC.doc
Revision Date Author Comments
# 750873d8 29-Apr-2015 Jeremy Dawson <jeremy@cecs.anu.edu.au>

added to VAR_EQ_TAC doc, v = ... v ... ignored
# 89434328 26-Apr-2015 Jeremy Dawson <jeremy@cecs.anu.edu.au>

added and amended doc pages re REV_FULL_SIMP_TAC and VAR_EQ_TAC