Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/MicroJava/document/introduction.tex
changeset 12914 71015f46b3c1
parent 12911 704713ca07ea
child 68649 f849fc1cb65e
equal deleted inserted replaced
12913:5ac498bffb6b 12914:71015f46b3c1 
       
     1 \chapter{Preface}
 
     1 
     2 
     2 \section*{Introduction}
 
     3 \section{Introduction}
 
     3 \label{sec:introduction}
 
     4 \label{sec:introduction}
 
     4 
     5 
     5 This document contains the automatically generated listings of the
 
     6 This document contains the automatically generated listings of the
 
     6 Isabelle sources for \mJava. \mJava{} is a reduced model of JavaCard,
 
     7 Isabelle sources for \mJava. \mJava{} is a reduced model of JavaCard,
 
     7 dedicated to the study of the interaction of the source language, byte
 
     8 dedicated to the study of the interaction of the source language, byte
isabelle