History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Q.RENAME_TAC.doc
Revision Date Author Comments
# 714c6bb9 21-Jun-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Improve documentation of Q.RENAME_TAC

In particular, point out that the behaviour with a singleton list is
different to Q.RENAME1_TAC applied to the single element.
# 4ad0233a 19-Jun-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix typo in Q.RENAME_TAC documentation file
# 53375a5c 19-Jun-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Document Q.RENAME_TAC