Cross Reference: OpenTheoryReader.sml
xref
: /
seL4-l4v-master
/
HOL4
/
src
/
opentheory
/
reader
/
OpenTheoryReader.sml
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/HOL4/src/opentheory/reader/
History log of
/seL4-l4v-master/HOL4/src/opentheory/reader/OpenTheoryReader.sml
Revision
Date
Author
Comments
#
91ac94fc
01-Apr-2020
Chun Tian (binghe) <binghe.lisp@gmail.com>
Fixed building of various HOL OpenTheory packages