History log of /seL4-l4v-10.1.1/HOL4/src/postkernel/ThyDataSexp.sig
Revision Date Author Comments
# 3501e524 06-May-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Add Option constructor to ThyDataSexp.t
# 53ccf6e4 11-Apr-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Force users of ThyDataSexp to provide their own merge function

Provide a couple of likely candidates for this purpose.
# da162e64 08-Apr-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Add a generic s-expression type as data adjoinable to theories