History log of /seL4-l4v-master/HOL4/src/1/term_tactic.sml
Revision Date Author Comments
# ef343a12 14-Apr-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Implement, document and regression-test some "term tactics"