History log of /seL4-l4v-master/HOL4/Manual/Translations/IT/Tutorial/proof-tools.tex
Revision Date Author Comments
# bd77b8fb 20-Oct-2015 Michael Norrish <Michael.Norrish@nicta.com.au>

Delete trailing whitespace
# d79b2c68 27-Dec-2013 unknown <masinido@vt-masinido.valueteam.com>

Italian translations of Logic and Description sources