History log of /seL4-l4v-master/HOL4/src/opentheory/reader/OpenTheoryReader.sig
Revision Date Author Comments
# 91ac94fc 01-Apr-2020 Chun Tian (binghe) <binghe.lisp@gmail.com>

Fixed building of various HOL OpenTheory packages