History log of /seL4-l4v-10.1.1/HOL4/src/datatype/theory_tests/ndatatype_ind0Script.sml
Revision Date Author Comments
# 1966e640 30-Jul-2014 Michael Norrish <michael.norrish@nicta.com.au>

BasicProvers ind'n tacs more uniform on datatypes and "non-datatypes"

Includes test-case of sorts.