# HG changeset patch # User Christian Urban # Date 1271340088 -7200 # Node ID 900ef226973e89d75c6fb36c28a7b3fc80ed5e80 # Parent d744b157dd2ac0615d2bcbb33eb5254410a8cce6 typo diff -r d744b157dd2a -r 900ef226973e Paper/Paper.thy --- a/Paper/Paper.thy Thu Apr 15 15:56:38 2010 +0200 +++ b/Paper/Paper.thy Thu Apr 15 16:01:28 2010 +0200 @@ -774,7 +774,7 @@ \end{center} \noindent - indicating that a set (or list) @{text as} is abstracted in @{text x}. We will + indicating that a set (or list) of atoms @{text as} is abstracted in @{text x}. We will call the types \emph{abstraction types} and their elements \emph{abstractions}. The important property we need to derive is the support of abstractions, namely: