1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-isac/mlehnfeld/master/thesis/isabelle_isac.tex	Wed Mar 12 17:43:22 2014 +0100
     1.3 @@ -0,0 +1,38 @@
     1.4 +\chapter{Isabelle and {\isac}}
     1.5 +\label{cha:isabelle_isac}
     1.6 +
     1.7 +
     1.8 +\section{Isabelle}
     1.9 +\label{sec:isabelle}
    1.10 +
    1.11 +\subsection{User Requirements}
    1.12 +about half page
    1.13 +
    1.14 +\subsection{Technologies}
    1.15 +about 4 pages
    1.16 +
    1.17 +\subsection{Architecture}
    1.18 +about 2 pages
    1.19 +
    1.20 +\subsection{Integration of Standard ML and Scala}
    1.21 +about 1 page
    1.22 +
    1.23 +\subsection{Introduction of Parallelism and Concurrency}
    1.24 +about 3 pages
    1.25 +
    1.26 +
    1.27 +\section{{\isac}}
    1.28 +\label{sec:isac}
    1.29 +
    1.30 +\subsection{Philosophy and User Requirements}
    1.31 +about 2 pages
    1.32 +
    1.33 +\subsection{Initial Architecture}
    1.34 +about 2 pages
    1.35 +
    1.36 +\subsection{Integration with Isabelle\'s Parallelism}
    1.37 +about 2 pages
    1.38 +
    1.39 +\subsection{Concurrent User Session Management}
    1.40 +about 5 pages
    1.41 +