History log of /seL4-l4v-master/HOL4/src/1/FullUnify.sig
Revision Date Author Comments
# 1cec3136 29-Jun-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Make FullUnify only depend on boolSyntax, not boolLib
# 83467ab0 25-Feb-2020 Michael Norrish <michael.norrish@data61.csiro.au>

Move FullUnify code into src/1