History log of /seL4-l4v-10.1.1/HOL4/src/IndDef/Manual/macros.tex
Revision Date Author Comments
# a30701a7 20-Oct-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove trailing white-space in a bunch of .tex files.

These are all in src/ and are probably both out-of-date and candidates for removal.
# 6f8546cd 10-Oct-2001 Konrad Slind <konrad.slind@gmail.com>

Movement of ind_def/Manual to IndDef.