History log of /seL4-l4v-master/HOL4/src/TeX/theory_tests/untyabbrevScript.sml
Revision Date Author Comments
# 29db1249 05-Mar-2015 Michael Norrish <michael.norrish@nicta.com.au>

Some test-cases for LaTeX munging with/without type abbreviations

Inspired by a message to hol-info by Ramana Kumar.