History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Tactic.ABS_TAC.doc
Revision Date Author Comments
# 56bbc9e4 01-Jan-2010 Thomas Tuerk <Thomas.Tuerk@cl.cam.ac.uk>

added documentation for new ABS_TAC