History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/Q.UNABBREV_TAC.doc
Revision Date Author Comments
# 3825a653 10-Aug-2010 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Purge on broken links within the (HTML) documentation. This mostly involves
deleting SEEALSO entries (where documentation doesn't exist) but also fixing a
few links.

Also fixed the anchor links in TheoryIndex.html and idIndex.html. In both
cases there aren't any entries starting with the letter "Y".


# 48804de8 13-Jul-2004 Michael Norrish <Michael.Norrish@nicta.com.au>

More, and revised, documentation for the brave new world of abbreviations.