History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Tactic.CONJ_ASM2_TAC.doc
Revision Date Author Comments
# d0041320 31-Dec-2014 Jeremy Dawson <jeremy@cecs.anu.edu.au>

re-implement CONJ_ASM1_TAC, CONJ_ASM2_TAC using USE_SG_THEN

now one-line implementation of these tactics
# c152e317 20-Jan-2012 Ramana Kumar <ramana.kumar@gmail.com>

Docfiles for CONJ_ASM{1,2}_TAC. Closes #50.