Cross Reference: /seL4-l4v-master/HOL4/src/opentheory/reader/

Name		Date	Size
..		19-Apr-2020	12
OpenTheoryReader.sig	H A D	19-Apr-2020	3.2 KiB
OpenTheoryReader.sml	H A D	19-Apr-2020	12.6 KiB