History log of /seL4-l4v-10.1.1/HOL4/src/HolSat/vector_def_CNF/defCNF.sig
Revision Date Author Comments
# a6b57a9c 04-Jul-2012 Michael Norrish <michael.norrish@nicta.com.au>

Move HolCheck's vector-based defCNF code into src/