History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Q.MATCH_ASMSUB_RENAME_TAC.doc
Revision Date Author Comments
# 92317114 08-Jan-2015 Michael Norrish <michael.norrish@nicta.com.au>

Change API of Q's MATCH...RENAME_TACs.

Now rather than a string list hanging off the end specifying which
variable bindings aren't supposed to induce a renaming, just put
underscores into the pattern in those positions.

Documentation and release notes updated.


# 8d79ce8f 07-Jan-2015 Michael Norrish <michael.norrish@nicta.com.au>

Document MATCH_ASMSUB_RENAME_TAC.

Progress with #81