author | wenzelm |
Sat, 21 Sep 2013 13:05:54 +0200 | |
changeset 54906 | 036e80175bdd |
child 54907 | db362319d766 |
permissions | -rw-r--r-- |
1 theory JEdit
2 imports Base
3 begin
5 chapter {* Introduction *}
7 text {* FIXME
9 parallel proof checking \cite{Wenzel:2009} \cite{Wenzel:2013:ITP}
11 asynchronous user interaction \cite{Wenzel:2010}, \cite{Wenzel:2012:UITP-EPTCS}
13 document-oriented proof processing and Prover IDE \cite{Wenzel:2011:CICM} \cite{Wenzel:2012}
15 *}
17 section {* Concepts and terminology *}
19 text {* FIXME *}
21 end