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

Delete trailing whitespace
# cff3a5cd 24-Feb-2014 domenico.masini@gmail.com <domenico.masini@gmail.com>

definitions completed
# 3848eebe 08-Feb-2014 unknown <masinido@vt-masinido.valueteam.com>

Minor corrections to the tutorial, and half translation of description.