Cross Reference: syntax.tex
xref
: /
seL4-l4v-master
/
HOL4
/
Manual
/
Translations
/
IT
/
Description
/
syntax.tex
Home
History
Annotate
Raw
Download
only in
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
History log of
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/syntax.tex
Revision
Date
Author
Comments
#
3848eebe
08-Feb-2014
unknown <masinido@vt-masinido.valueteam.com>
Minor corrections to the tutorial, and half translation of description.